static char *GRASS_VERSION_STRING  = "@(#) @GRASS_VERSION_NUMBER@ (@GRASS_VERSION_DATE@)";
static char *GRASS_VERSION_MAJOR   = "@GRASS_VERSION_MAJOR@";
static char *GRASS_VERSION_MINOR   = "@GRASS_VERSION_MINOR@";
static char *GRASS_VERSION_RELEASE = "@GRASS_VERSION_RELEASE@";