config_query "GNOMEDB_DEVEL" "Use devel version?" n
