mpfr Adapted for new 7.1-stable branch.