-virt_df_main.cmo: virt_df_gettext.cmo virt_df.cmi ../lib/diskimage.cmi
-virt_df_main.cmx: virt_df_gettext.cmx virt_df.cmx ../lib/diskimage.cmx
+virt_df_gettext.cmo:
+virt_df_gettext.cmx:
+virt_df_main.cmo: virt_df_version.cmo virt_df_gettext.cmo virt_df.cmi \
+ ../lib/int63.cmi ../lib/diskimage.cmi
+virt_df_main.cmx: virt_df_version.cmx virt_df_gettext.cmx virt_df.cmx \
+ ../lib/int63.cmx ../lib/diskimage.cmx