diff -r d389577a6fba -r db92e0b6a11a src/Pure/Admin/component_zipperposition.scala
--- a/src/Pure/Admin/component_zipperposition.scala	Fri May 31 22:35:44 2024 +0200
+++ b/src/Pure/Admin/component_zipperposition.scala	Sat Jun 01 12:31:06 2024 +0200
@@ -42,7 +42,7 @@
       progress.bash("isabelle ocaml_setup", echo = progress.verbose).check
 
       progress.echo("Building Zipperposition for " + platform_name + " ...")
-      progress.bash(cwd = build_dir.file, echo = progress.verbose,
+      progress.bash(cwd = build_dir, echo = progress.verbose,
         script = "isabelle_opam install -y --destdir=" + File.bash_path(build_dir) +
           " zipperposition=" + Bash.string(version)).check