update build_mpfr.sh