trying to move to new kiama version 1.5.1; getting some compilation errors