Fix configure when we don't have a gmp library