cd mpfr-3.1.2
patch -N -Z -p1 < /path/to/allpatches.txt
sh /path/to/configure-mpfr.sh

make -j 4
make check    # <-- important, do not skip

sudo make install-strip