Upgrade MPFR from 3.1.0 to 3.1.2 on the vendor branch
Upgrade MPFR from 2.4.2-p3 to 3.1.0 on the vendor branch