Check for whether we have gmp.h, as well as whether we have the gmp library