char *version_string = "1.8-beta3+cvs";