Fix mpfr version.