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