Updated required Lean Mapper version