aco: rework the way various compilation/validation errors are reported