mac02: building 7jfqaxd52axg1gms9b1aj58ici3592xm-check-lean-ctx.drv