-grafiteParser.cmo: grafiteAst.cmo grafiteParser.cmi
-grafiteParser.cmx: grafiteAst.cmx grafiteParser.cmi
-cicNotation.cmo: grafiteParser.cmi grafiteAst.cmo cicNotation.cmi
-cicNotation.cmx: grafiteParser.cmx grafiteAst.cmx cicNotation.cmi
-grafiteMarshal.cmo: grafiteAst.cmo grafiteMarshal.cmi
-grafiteMarshal.cmx: grafiteAst.cmx grafiteMarshal.cmi
+grafiteMarshal.cmo: grafiteAstPp.cmi grafiteAst.cmo grafiteMarshal.cmi
+grafiteMarshal.cmx: grafiteAstPp.cmx grafiteAst.cmx grafiteMarshal.cmi