let string_of_filename path = 
    path