https://www.mpfr.org/mpfr-current/mpfr-VERSION.tar.xz