diff --git a/Makefile b/Makefile
index a66f0e9d474d625dcd70593ed07a7717801327b2..6ec6c416a388dd88f422f7c94709edaa780c9f7a 100644
--- a/Makefile
+++ b/Makefile
@@ -77,10 +77,10 @@ tests:: dontrun
 dontrun:
 	(cd tests; echo `grep -r 'DONTRUN' $(PLUGIN_TESTS_DIRS) | wc -l` test files marked DONTRUN )
 
-$(Frama_Clang_DIR)/gen_ast: $(Frama_Clang_DIR)/gen_ast.ml
+$(Frama_Clang_DIR)/gen_ast: $(Frama_Clang_DIR)/gen_ast.ml $(Frama_Clang_DIR)/gen_ast.cmi
 	$(PRINT_OCAMLC) $@
 	$(OCAMLC) $(Frama_Clang_BFLAGS) -o $@ -pp $(CAMLP5O) \
-        zarith.cma dynlink.cma $^
+        zarith.cma dynlink.cma $<
 
 $(Frama_Clang_DIR)/test_ast: \
   $(Frama_Clang_DIR)/intermediate_format.cmo \
diff --git a/gen_ast.mli b/gen_ast.mli
new file mode 100644
index 0000000000000000000000000000000000000000..f85934795485ad14628902472a902e29929f4de0
--- /dev/null
+++ b/gen_ast.mli
@@ -0,0 +1 @@
+(* Nothing is exported *)
diff --git a/reorder_defs.ml b/reorder_defs.ml
index 5d78bece82ee59b5c5c2ae09c432da59c5f5164f..f81709426ea6260303815fb691689876ed98558e 100644
--- a/reorder_defs.ml
+++ b/reorder_defs.ml
@@ -2,7 +2,7 @@
 (*                                                                        *)
 (*  This file is part of Frama-Clang                                      *)
 (*                                                                        *)
-(*  Copyright (C) 2012-2021                                               *)
+(*  Copyright (C) 2012-2022                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
@@ -41,7 +41,7 @@ type dep_node =
     name: string;
     is_def: bool;
     mutable glob: definition option;
-    mutable ghost: bool; (* TODO: take ghost into account. *)
+    (* mutable ghost: bool; (* TODO: take ghost into account. *) *)
     mutable id: int
   }
 
@@ -179,7 +179,7 @@ end = struct
   let nodes = H.create 37
 
   let default_node kind name is_def =
-    { kind; name; is_def; glob = None; id = -1; ghost = false }
+    { kind; name; is_def; glob = None; id = -1; (* ghost = false *) }
 
   let replace_deps orig rep =
     if G.mem_vertex deps orig then begin