--- a/src/Pure/Admin/build_zstd.scala	Wed Nov 30 21:53:55 2022 +0100
+++ b/src/Pure/Admin/build_zstd.scala	Wed Nov 30 22:07:59 2022 +0100
@@ -68,9 +68,7 @@
 
     /* settings */
 
-    File.write(component_dir.settings,
-"""# -*- shell-script -*- :mode=shellscript:
-
+    component_dir.write_settings("""
 ISABELLE_ZSTD_HOME="$COMPONENT"
 
 classpath "$ISABELLE_ZSTD_HOME/""" + jar_name + """"