--- a/src/Pure/Admin/component_cygwin.scala	Fri May 31 22:35:44 2024 +0200
+++ b/src/Pure/Admin/component_cygwin.scala	Sat Jun 01 12:31:06 2024 +0200
@@ -51,7 +51,7 @@
 
       (cygwin + Path.explode("Cygwin.bat")).file.delete
 
-      Isabelle_System.bash("rm -f cygwin/usr/share/man/man1/:.1.gz", cwd = tmp_dir.file).check
+      Isabelle_System.bash("rm -f cygwin/usr/share/man/man1/:.1.gz", cwd = tmp_dir).check
 
       val archive =
         target_dir + Path.explode("cygwin-" + Date.Format.alt_date(Date.now()) + ".tar.gz")