diff -r 5912209b4fb6 -r f740d62a3470 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Fri Sep 16 14:57:48 2022 +0200
+++ b/src/Pure/Tools/phabricator.scala	Fri Sep 16 15:03:08 2022 +0200
@@ -910,7 +910,7 @@
         File.write(params_file, JSON.Format(JSON.Object("params" -> JSON.Format(params))))
         val result =
           Isabelle_System.bash(
-            "ssh -p " + ssh_port + " " + Bash.string(ssh_target) +
+            SSH.client_command(port = ssh_port) + " -- " + Bash.string(ssh_target) +
             " conduit " + Bash.string(method) + " < " + File.bash_path(params_file)).check
         JSON.parse(result.out, strict = false)
       }