HAVE_LIBGMP       245 src/config/config.h #define HAVE_LIBGMP 1
HAVE_LIBGMP       245 src/config/config_osx.h #define HAVE_LIBGMP 1