bld1: building 3zn7x0bsv7p04nlcdgpghk2i236j29w8-check-lean-ctx.drv