curl -RO -C - http://www.mpfr.org/mpfr-current/mpfr-3.0.0.tar.bz2
tar xvjf mpfr-3.0.0.tar.bz2
(cd mpfr-3.0.0 &&
curl http://www.mpfr.org/mpfr-current/allpatches | patch -p1
)