MPFR=mpfr-2.4.2 GMP=gmp-4.3.2 MPC=mpc-0.8.1