mpfr autosetup