char *libcoll_version_string = "931026";
