Allow compilation with GMP < 5.0.0.