diff --git a/headers/headache_config.txt b/headers/headache_config.txt
index 718e877fdb4edfb7d6d1bdb44f013d54b0f3bdbc..a8a34ccf8423594552508dca5477a5e0f1fa330b 100644
--- a/headers/headache_config.txt
+++ b/headers/headache_config.txt
@@ -39,6 +39,8 @@
 | ".*_frama-c" -> skip match:"#compdef.*"
 | ".*\.sh" -> frame open:"#"  line:"#" close:"#"
 | ".*\.sh" -> skip match:"#!.*"
+| ".*\.sh.comp" -> frame open:"#"  line:"#" close:"#"
+| ".*\.sh.comp" -> skip match:"#!.*"
 | "frama-c" -> frame open:"#"  line:"#" close:"#"
 | ".*frama-c" -> skip match:"#!.*"
 | "frama-c-config" -> frame open:"#"  line:"#" close:"#"
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 955185162ec51a8dc07349914cb3443b8cab6130..e612b3823432ce3b1cdab6e9c6e92d0a14a0af2a 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -460,6 +460,7 @@ EACSL_CEA_LGPL_BARE= src/*.ml src/*/*.ml src/*.mli src/*/*.mli \
 	E_ACSL.mli \
 	Makefile.in configure.ac tab-in-changelog.sh \
 	scripts/*.sh \
+	scripts/*.comp \
 	tests/E_ACSL_test.ml \
 	tests/wrapper.sh \
 	man/e-acsl-gcc.sh.1
diff --git a/src/plugins/e-acsl/headers/header_spec.txt b/src/plugins/e-acsl/headers/header_spec.txt
index c260e31129e5aa2fc6de80d76f5bc89248cc42b1..506060af0d6c30ca0c8d838b30fd6adbb1c21a62 100644
--- a/src/plugins/e-acsl/headers/header_spec.txt
+++ b/src/plugins/e-acsl/headers/header_spec.txt
@@ -12,6 +12,7 @@ license/SPARETIMELABS: .ignore
 license/headache_config.txt: .ignore
 man/e-acsl-gcc.sh.1: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 scripts/e-acsl-gcc.sh: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+scripts/e-acsl-gcc.sh.comp: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 share/e-acsl/instrumentation_model/e_acsl_assert.c: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 share/e-acsl/instrumentation_model/e_acsl_assert.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 share/e-acsl/instrumentation_model/e_acsl_assert_data.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp
index d3cdb59d3dab8568cbf1e5f434b0e02907784b8c..da9457884607f8805c689f5633e00f9c72f0566f 100644
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp
@@ -16,7 +16,7 @@
 #  GNU Lesser General Public License for more details.                   #
 #                                                                        #
 #  See the GNU Lesser General Public License version 2.1                 #
-#  for more details (enclosed in the file license/LGPLv2.1).             #
+#  for more details (enclosed in the file licenses/LGPLv2.1).            #
 #                                                                        #
 ##########################################################################