proper operation on String, not Path;

--- a/src/Pure/General/ssh.scala	Mon Jun 06 16:06:22 2022 +0200
+++ b/src/Pure/General/ssh.scala	Mon Jun 06 19:17:53 2022 +0200
@@ -493,7 +493,7 @@
     def hg_url: String = ""
 
     def rsync_prefix: String = ""
-    def rsync_path(path: Path): String = rsync_prefix + expand_path(path)
+    def rsync_path(path: Path): String = rsync_prefix + expand_path(path).implode
 
     def expand_path(path: Path): Path = path.expand
     def bash_path(path: Path): String = File.bash_path(path)