let
filename_of_string path =
path