src/Pure/Tools/phabricator.scala

--- a/src/Pure/Tools/phabricator.scala	Mon Nov 28 11:38:55 2022 +0000
+++ b/src/Pure/Tools/phabricator.scala	Wed Nov 30 15:03:31 2022 +0100
@@ -204,7 +204,7 @@
         }
         else Path.explode(mercurial_source)
 
-      Isabelle_System.gnutar("-xzf " + File.bash_path(archive), dir = tmp_dir).check
+      Isabelle_System.extract(archive, tmp_dir)
       val build_dir = File.get_dir(tmp_dir, title = mercurial_source)
 
       progress.bash("make all && make install", cwd = build_dir.file, echo = true).check