let
string_of_filename path =
path