Re: [GHC] #8372: enable -dcmm-lint by default for .cmm input files