src/Pure/System/components.scala

--- a/src/Pure/System/components.scala	Sat Mar 04 21:41:16 2023 +0100
+++ b/src/Pure/System/components.scala	Sat Mar 04 22:29:21 2023 +0100
@@ -83,8 +83,8 @@
     progress.echo("Unpacking " + archive.base)
     ssh.execute(
       "tar -C " + ssh.bash_path(dir) + " -x -z -f " + ssh.bash_path(archive),
-      progress_stdout = progress.echo,
-      progress_stderr = progress.echo).check
+      progress_stdout = progress.echo(_),
+      progress_stderr = progress.echo(_)).check
     name
   }