diff --git a/Makefile.in b/Makefile.in
index a23ae52bbc22ea51552a30a7a8e793a21ae503b9..2a92be1432350528a00c3c81758ac197de722d42 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -978,7 +978,7 @@ depend: $(COQVD)
 clean::
 	rm -f $(COQVO) $(COQVD) $(addsuffix .glob, $(COQLIBS_FILES))
 
-update-coq: bin/why3
+update-coq: bin/why3 drivers/coq-realizations.aux
 	for f in $(COQLIBS_INT_FILES); do bin/why3 --realize -D drivers/coq-realize.drv -T int.$$f -o lib/coq/int/; done
 	for f in $(COQLIBS_REAL_FILES); do bin/why3 --realize -D drivers/coq-realize.drv -T real.$$f -o lib/coq/real/; done
 	#for f in $(COQLIBS_FP_FILES); do bin/why3 --realize -D drivers/coq-realize.drv -T floating_point.$$f -o lib/coq/floating_point/; done