http://www.mpfr.org/mpfr-current/mpfr-2.4.2.tar.bz2
