mac02: building 4ax675d4id1vp0hv6y7a889bk4xm03ji-check-lean-ctx.drv