More flexible approach to locating required gmp/mpfr libraries--works with
both system and /opt installs.