*.cmx added
another erratum item ;-(