-cicNotationUtil.cmi: cicNotationPt.cmx
-cicNotationEnv.cmi: cicNotationPt.cmx
-cicNotationPp.cmi: cicNotationPt.cmx cicNotationEnv.cmi
-acic2astMatcher.cmi: cicNotationPt.cmx
-termAcicContent.cmi: cicNotationPt.cmx
+cicNotationUtil.cmi: cicNotationPt.cmo
+cicNotationEnv.cmi: cicNotationPt.cmo
+cicNotationPp.cmi: cicNotationPt.cmo cicNotationEnv.cmi
+acic2astMatcher.cmi: cicNotationPt.cmo
+termAcicContent.cmi: cicNotationPt.cmo