bld1: building 03ngbxmc6n2f78icjm9fvs2hyp9ygpad-check-lean-ctx.drv