-deannotate.cmo: cic.cmx deannotate.cmi
-deannotate.cmx: cic.cmx deannotate.cmi
-cicParser.cmo: deannotate.cmi cicUniv.cmi cic.cmx cicParser.cmi
+unshare.cmo: cicUniv.cmi cic.cmo unshare.cmi
+unshare.cmx: cicUniv.cmx cic.cmx unshare.cmi
+deannotate.cmo: unshare.cmi cic.cmo deannotate.cmi
+deannotate.cmx: unshare.cmx cic.cmx deannotate.cmi
+cicParser.cmo: deannotate.cmi cicUniv.cmi cic.cmo cicParser.cmi