#
#
# patch "paths.cc"
#  from [ec7cc439684a59df268f47c47dcbd623cb647c92]
#    to [7ea2a9bf9ffc447d809cc4b409b918b2f73bf3cc]
#
============================================================
--- paths.cc	ec7cc439684a59df268f47c47dcbd623cb647c92
+++ paths.cc	7ea2a9bf9ffc447d809cc4b409b918b2f73bf3cc
@@ -318,7 +318,7 @@ normalize_path(string const & in)
         tail++;
 
       string elt(head, tail);
-      if (tail != inT.end())
+      while (tail != inT.end() && *tail == '/')
         tail++;
 
       if (elt == ".")