diff --git a/.gitignore b/.gitignore
index 2b8b272dc8c3db14beee19536f597b09aac0f460..b4fbb18004f8bab9db8d701d49adff8526b9d748 100644
--- a/.gitignore
+++ b/.gitignore
@@ -39,6 +39,7 @@ autom4te.cache
 /ocamlgraph/
 *.check_mli_exists
 .Makefile.plugin.generated
+.ocamldebug
 
 #tests
 
@@ -185,7 +186,7 @@ Makefile.plugin.generated
 
 /src/libraries/utils/json.ml
 /src/kernel_internals/runtime/toplevel_boot.ml
-/src/kernel_internals/runtime/config.ml
+/src/kernel_internals/runtime/fc_config.ml
 /src/kernel_internals/runtime/frama_c_config.ml
 /src/kernel_internals/parsing/logic_lexer.ml
 /src/kernel_internals/parsing/logic_parser.ml