# 
# 
# patch "file_io.cc"
#  from [db9fdc218edf3af90593b19807f91552d6164bba]
#    to [2b0001d873623320022426663939033610459a60]
# 
============================================================
--- file_io.cc	db9fdc218edf3af90593b19807f91552d6164bba
+++ file_io.cc	2b0001d873623320022426663939033610459a60
@@ -332,7 +332,8 @@ void read_directory(any_path const & pat
   files.clear();
   dirs.clear();
   fs::directory_iterator ei;
-  for (fs::directory_iterator di(system_path(path).as_external());
+  fs::path native_path = fs::path(system_path(path).as_external(), fs::native);
+  for (fs::directory_iterator di(native_path);
        di != ei; ++di)
     {
       fs::path entry = *di;