./mpfr-3.1.2.tar.xz already exists, skipping download
Getting http://www.mpfr.org/mpfr-current/mpfr-3.1.2.tar.xz to ./mpfr-3.1.2.tar.xz