#
#
# patch "paths.cc"
#  from [8f2048d28dbd11312ebb07266c9b7b6884daffc1]
#    to [ffbea7c9012969491367d66bbd26d8da87860734]
#
============================================================
--- paths.cc	8f2048d28dbd11312ebb07266c9b7b6884daffc1
+++ paths.cc	ffbea7c9012969491367d66bbd26d8da87860734
@@ -390,8 +390,15 @@ file_path::file_path(split_path const & 
   I(null_name(*i));
   string tmp;
   bool start = true;
+  size_t size = 0;
   for (++i; i != sp.end(); ++i)
     {
+      size = size + 1 + (*i)().length();
+    }
+  tmp.reserve(size);
+  i = sp.begin();
+  for (++i; i != sp.end(); ++i)
+    {
       I(!null_name(*i));
       if (!start)
         tmp += "/";