HAVE_LIBGMPXX     248 src/config/config.h #define HAVE_LIBGMPXX 1
HAVE_LIBGMPXX     248 src/config/config_osx.h #define HAVE_LIBGMPXX 1