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