HAVE_GMP          225 src/config/config.h #define HAVE_GMP ENABLE_GMP
HAVE_GMP          225 src/config/config_osx.h #define HAVE_GMP ENABLE_GMP