let add_extension path ext =
    f2s (PathOperation.add_extension (s2f path) ext)