r3445: mcl/openmcl fixes