mac02: building b0vzs7fp2q2q19hpy1v662phg89x3ykh-check-lean-ctx.drv