char *version_string = "1.8.1-pre1";