char *version_string = "1.7-pre1";