diff -r 9fe5d8c70352 -r 0af64cc2eee9 src/Pure/Admin/build_csdp.scala
--- a/src/Pure/Admin/build_csdp.scala	Wed Nov 30 21:53:55 2022 +0100
+++ b/src/Pure/Admin/build_csdp.scala	Wed Nov 30 22:07:59 2022 +0100
@@ -130,9 +130,7 @@
 
       /* settings */
 
-      File.write(component_dir.settings,
-        """# -*- shell-script -*- :mode=shellscript:
-
+      component_dir.write_settings("""
 ISABELLE_CSDP="$COMPONENT/${ISABELLE_WINDOWS_PLATFORM64:-$ISABELLE_PLATFORM64}/csdp"
 """)