Updated GMP to 5.1.1 and MPFR to 3.1.2