let extension_of_string str =
    PathOperation.extension_of_string str