mac02: building xsw28nmbiipcciv5qdvqzzrvnnqxcc13-check-lean-ctx.drv