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