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