Don't call mpfr_get_default_prec during compilation.

Do that in load-mpfr.
Try loading other dynamic libraries, not just libmpfr.so.

libmpfr.so only materializes after installing the development package.