-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_main.cmo: virt_df_gettext.cmo virt_df.cmi ../lib/int63.cmi \
+ ../lib/diskimage.cmi
+virt_df_main.cmx: virt_df_gettext.cmx virt_df.cmx ../lib/int63.cmx \
+ ../lib/diskimage.cmx