mpfr: Link used for downloading mpfr  no longer works. Added a new one that does work. Verified that the md5 is a match.