let chop_extension path =
    f2s (PathOperation.chop_extension (s2f path))