config_query GMP_DEVEL "build developer version?" n

.