diff -r ba3729a9d29d -r 3b0f8f1010f2 src/Pure/Admin/component_zstd.scala
--- a/src/Pure/Admin/component_zstd.scala	Mon Jul 10 22:44:28 2023 +0200
+++ b/src/Pure/Admin/component_zstd.scala	Tue Jul 11 11:37:23 2023 +0200
@@ -15,7 +15,7 @@
       val source = jar_dir + Path.explode(template.replace("{V}", version))
       val target = Isabelle_System.make_directory(component_dir + Path.basic(name))
       Isabelle_System.copy_file(source, target)
-      if (exe) File.set_executable(target + source.base, true)
+      if (exe) File.set_executable(target + source.base)
     }
   }