diff -r 403e4d9a3768 -r 8b5a2e4b16d4 src/Pure/Admin/component_cygwin.scala
--- a/src/Pure/Admin/component_cygwin.scala	Wed Jun 14 17:20:05 2023 +0200
+++ b/src/Pure/Admin/component_cygwin.scala	Thu Jun 15 14:28:17 2023 +0200
@@ -33,7 +33,7 @@
 
         File.write(cygwin_isabelle + Path.explode("cygwin_mirror"), mirror)
 
-        File.set_executable(cygwin_exe, true)
+        File.set_executable(cygwin_exe)
         Isabelle_System.bash(File.bash_path(cygwin_exe) + " -h </dev/null >/dev/null").check
 
         val res =