bld1: building v1vs0iqq0n6nfn0c2q8g8yqq249falv4-check-lean-ctx.drv