let make_filename lst_path =
    List.flatten (List.map filename_of_string lst_path)