Adjust list_pkg_directories to always have / slashes so that we don't accidentally create escape ch…

tools/list_pkg_directories.py

Index: tools/list_pkg_directories.py
diff --git a/tools/list_pkg_directories.py b/tools/list_pkg_directories.py
index 360a3536775142e1d1a80b53bfed6da97399c874..f1b69f19623218478f3da1912f67df13f29e0ae6 100644
--- a/tools/list_pkg_directories.py
+++ b/tools/list_pkg_directories.py
@@ -20,7 +20,7 @@ def main(argv):
       os.path.join(directory, x)), os.listdir(directory)))
   for lib in filter(lambda x: os.path.exists(os.path.join(directory, x)),
       paths):
-    print os.path.join(directory, lib)
+    print '%s/%s' % (directory, lib)
 
 if __name__ == '__main__':
   sys.exit(main(sys.argv))