proper hierarchic names;

--- a/src/Pure/General/ssh.scala	Mon Oct 10 16:04:57 2016 +0200
+++ b/src/Pure/General/ssh.scala	Mon Oct 10 18:10:03 2016 +0200
@@ -146,7 +146,9 @@
         read_dir(dir).flatMap(entry =>
           {
             val file = dir + "/" + entry.name
-            if (entry.is_dir) find(file) else if (pred(entry)) List(entry) else Nil
+            if (entry.is_dir) find(file)
+            else if (pred(entry)) List(entry.copy(name = file))
+            else Nil
           })
       find(remote_path)
     }