const char version_string[] = "@PACKAGE_STRING@";