diff --git a/nix/default.nix b/nix/default.nix
index e6718411b5a9cb7867c177d8deaf79d84c204bc3..139b30bb8501510da6b1abda14d9f55587286d85 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -105,7 +105,7 @@ pkgs.lib.makeExtensible
         buildPhase = ''
                make lint
                make stats-lint
-               make check-headers
+               STRICT_HEADERS=yes make check-headers
         '';
         installPhase = ''
                true
diff --git a/src/plugins/e-acsl/headers/header_spec.txt b/src/plugins/e-acsl/headers/header_spec.txt
index f6569f54e12282fae86c50d4b5d926a119d319d0..ba5c6cbe99e0249a9262f797c3c74c954d047600 100644
--- a/src/plugins/e-acsl/headers/header_spec.txt
+++ b/src/plugins/e-acsl/headers/header_spec.txt
@@ -130,9 +130,6 @@ src/code_generator/translate_annots.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 src/code_generator/translate_annots.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 src/code_generator/typed_number.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 src/code_generator/typed_number.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-src/dependencies/dep_eva.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-src/dependencies/dep_eva.enabled.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-src/dependencies/dep_eva.disabled.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 src/libraries/builtins.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 src/libraries/builtins.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 src/libraries/error.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL