bld3: building 9ny2w8vdysp34kv5r7xlgdr31hz6w7ag-check-lean-ctx.drv