dump.cmo: ../common/token.cmi ../common/index.cmi 
dump.cmx: ../common/token.cmx ../common/index.cmx 
