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