-cicUtil.cmo: cicUtil.cmi
-cicUtil.cmx: cicUtil.cmi
-helmLibraryObjects.cmo: cic.cmo
-helmLibraryObjects.cmx: cic.cmx
+cicUtil.cmo: cic.cmo cicUtil.cmi
+cicUtil.cmx: cic.cmx cicUtil.cmi
+helmLibraryObjects.cmo: cic.cmo helmLibraryObjects.cmi
+helmLibraryObjects.cmx: cic.cmx helmLibraryObjects.cmi