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