Merge branch 'vendor/MPFR'