char *version_string = "1.9+cvs-dev";