diff --git a/bin/migration_scripts/calcium2scandium.sh b/bin/migration_scripts/calcium2scandium.sh
index 2369bb87b4f427a07620f55a57fefa3c389e8053..f1c05c3634d837f37b8267efd9e9df07a08c3d8f 100755
--- a/bin/migration_scripts/calcium2scandium.sh
+++ b/bin/migration_scripts/calcium2scandium.sh
@@ -3,7 +3,7 @@
 #                                                                        #
 #  This file is part of Frama-C.                                         #
 #                                                                        #
-#  Copyright (C) 2007-2019                                               #
+#  Copyright (C) 2007-2020                                               #
 #    CEA (Commissariat à l'énergie atomique et aux énergies              #
 #         alternatives)                                                  #
 #                                                                        #
diff --git a/headers/headache_config.txt b/headers/headache_config.txt
index 17a5e0df7c761c8b616ded712cf0a62bca2d9de8..969d2cf13811e6a07cc2f3079c95c78d3e711606 100644
--- a/headers/headache_config.txt
+++ b/headers/headache_config.txt
@@ -53,6 +53,8 @@
 | ".*frama-c.byte" -> skip match:"#!.*"
 | "frama-c.top" -> frame open:"#"  line:"#" close:"#"
 | ".*frama-c.top" -> skip match:"#!.*"
+| "frama-c.debug" -> frame open:"#"  line:"#" close:"#"
+| ".*frama-c.debug" -> skip match:"#!.*"
 
 ################
 # Perl scripts #
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 88e6eb60c47818a2562f0e01ebde0465cbc4a49c..1af383628305ad5473354fdc8a5e75efb7f53714 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -22,10 +22,12 @@ bin/frama-c-script: CEA_LGPL
 bin/frama-c-gui: CEA_LGPL
 bin/frama-c-gui.byte: CEA_LGPL
 bin/frama-c.byte: CEA_LGPL
+bin/frama-c.debug: CEA_LGPL
 bin/frama-c.top: CEA_LGPL
 bin/local_export.sh: CEA_LGPL
 bin/migration_scripts/aluminium2silicon.sh: CEA_LGPL
 bin/migration_scripts/boron2carbon.sh: CEA_LGPL
+bin/migration_scripts/calcium2scandium.sh: CEA_LGPL
 bin/migration_scripts/carbon2nitrogen.sh: CEA_LGPL
 bin/migration_scripts/fluorine2neon.sh: CEA_LGPL
 bin/migration_scripts/lithium2beryllium.sh: CEA_LGPL
@@ -364,8 +366,8 @@ src/kernel_internals/parsing/logic_preprocess.mli: CEA_INRIA_LGPL
 src/kernel_internals/parsing/logic_preprocess.mll: CEA_INRIA_LGPL
 src/kernel_internals/runtime/README.md: .ignore
 src/kernel_internals/runtime/boot.ml: CEA_LGPL
-src/kernel_internals/runtime/config.ml.in: CEA_LGPL
-src/kernel_internals/runtime/config.mli: CEA_LGPL
+src/kernel_internals/runtime/fc_config.ml.in: CEA_LGPL
+src/kernel_internals/runtime/fc_config.mli: CEA_LGPL
 src/kernel_internals/runtime/frama_c_config.ml.in: CEA_LGPL
 src/kernel_internals/runtime/frama_c_init.ml: CEA_LGPL
 src/kernel_internals/runtime/frama_c_init.mli: CEA_LGPL