bld1: building cw8yzfhqcv3cx7nppbbwg39dknzp9jpf-check-lean-ctx.drv