diff -r d389577a6fba -r db92e0b6a11a src/Pure/Admin/component_windows_app.scala
--- a/src/Pure/Admin/component_windows_app.scala	Fri May 31 22:35:44 2024 +0200
+++ b/src/Pure/Admin/component_windows_app.scala	Sat Jun 01 12:31:06 2024 +0200
@@ -73,7 +73,7 @@
       val build_script =
         List("""./configure --prefix="$PWD/target" --target=x86_64-w64-mingw32""",
           "make", "make install")
-      Isabelle_System.bash(build_script.mkString(" && "), cwd = tmp_dir.file,
+      Isabelle_System.bash(build_script.mkString(" && "), cwd = tmp_dir,
         progress_stdout = progress.echo(_, verbose = true),
         progress_stderr = progress.echo(_, verbose = true)).check
 
@@ -90,7 +90,7 @@
 
       Isabelle_System.download_file(sfx_url,
         tmp_dir + Path.basic(sfx_archive_name), progress = progress)
-      Isabelle_System.bash("7z x " + Bash.string(sfx_archive_name), cwd = tmp_dir.file).check
+      Isabelle_System.bash("7z x " + Bash.string(sfx_archive_name), cwd = tmp_dir).check
       Isabelle_System.copy_file(tmp_dir + Path.basic(sfx_name), component_dir.path)