const char *ffe_version_string = "0.5.25 19991024 (release)";