merged

--- a/src/Pure/System/benchmark.scala	Fri Nov 03 10:30:51 2023 +0100
+++ b/src/Pure/System/benchmark.scala	Fri Nov 03 10:55:15 2023 +0100
@@ -16,8 +16,7 @@
   ): String = {
     val options = Options.Spec("build_hostname", Some(host.name)) :: host.options
     ssh.bash_path(isabelle_home + Path.explode("bin/isabelle")) + " benchmark" +
-      options.map(opt => " -o " + Bash.string(opt.print)).mkString +
-      " " + Bash.string(host.name)
+      options.map(opt => " -o " + Bash.string(opt.print)).mkString
   }
 
   def benchmark(options: Options, progress: Progress = new Progress()): Unit = {