lean checked in, while icc compilation still fails