let filename_of_string path = 
    path