let string_of_extension ext = 
    PathOperation.string_of_extension ext