Correct MPFR download path.