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