Add gmp 5.1.2, mpc 1.0.1, mpfr 3.1.2.