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