added gmp-5.1.1 mpc-1.0.1 mpfr-3.1.2