Use MPFR 4.1.0 in build-many-glibcs.py.