mpfr: work around upstream being down

Closes #12371.
Closes #16932.