1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index cec5b86273..e0c9df0849 100644
--- a/Makefile
+++ b/Makefile
@@ -217,7 +217,9 @@ toplevel: $(TOPLEVEL)
 
 # special binaries for debugging
 
-EXTRACTIONCMO=contrib/extraction/ocaml.cmo contrib/extraction/extraction.cmo 
+EXTRACTIONCMO=contrib/extraction/mlutil.cmo contrib/extraction/ocaml.cmo \
+	      contrib/extraction/extraction.cmo \
+	      contrib/extraction/extract_env.cmo
 
 bin/coq-extraction: $(COQMKTOP) $(CMO) $(USERTACCMO) $(EXTRACTIONCMO)
 	$(COQMKTOP) -top $(INCLUDES) $(CAMLDEBUG) -o $@ $(EXTRACTIONCMO)