Copy in mpfr in case we're not living in a default-system searchable location