diff --git a/Makefile b/Makefile
index 3ec2d0bcc..9d6cf361c 100644
--- a/Makefile
+++ b/Makefile
@@ -904,6 +904,8 @@ endif
 veric/version.v:  VERSION $(MSL_FILES:%=msl/%) $(SEPCOMP_FILES:%=sepcomp/%) $(VERIC_FILES:%=veric/%) $(FLOYD_FILES:%=floyd/%)
 	util/make_version ${BITSIZE} ${COMPCERT_VERSION}
 
+floyd/proofauto.vo: veric/version.vo
+
 _CoqProject _CoqProject-export: Makefile util/coqflags $(COMPCERT_CONFIG)
 	echo $(COQFLAGS) > _CoqProject
 	util/coqflags > _CoqProject-export