proper ssh.bash_path;

--- a/src/Pure/System/components.scala	Mon Jan 23 22:33:25 2023 +0100
+++ b/src/Pure/System/components.scala	Tue Jan 24 11:30:56 2023 +0100
@@ -57,7 +57,7 @@
     val name = Archive.get_name(archive.file_name)
     progress.echo("Unpacking " + name)
     ssh.execute(
-      "tar -C " + File.bash_path(dir) + " -x -z -f " + File.bash_path(archive),
+      "tar -C " + ssh.bash_path(dir) + " -x -z -f " + ssh.bash_path(archive),
       progress_stdout = progress.echo,
       progress_stderr = progress.echo).check
     name