augeas.cmo: augeas.cmi 
augeas.cmx: augeas.cmi