#
#
# patch "file_io.cc"
#  from [56c0c5a2bcdd846b786787cad289ac6b37e056f5]
#    to [c0183255b52bcc7db9f9fc4626b4393fc9502ec1]
#
============================================================
--- file_io.cc	56c0c5a2bcdd846b786787cad289ac6b37e056f5
+++ file_io.cc	c0183255b52bcc7db9f9fc4626b4393fc9502ec1
@@ -188,9 +188,9 @@ mkdir_p(any_path const & p)
       any_path const parent = p.dirname();
       if (current != parent.as_external())
         {
-          mkdir_p(p.dirname());
+          mkdir_p(parent);
         }
-      do_mkdir(p.as_external());
+      do_mkdir(current);
     }
 }