mpfr: fix bootstrap build.