diff --git a/.github/workflows/mirai_on_mirai.yml b/.github/workflows/mirai_on_mirai.yml
index 3a31f450..b67682f1 100644
--- a/.github/workflows/mirai_on_mirai.yml
+++ b/.github/workflows/mirai_on_mirai.yml
@@ -50,7 +50,7 @@ jobs:
           extra-args: --clean-buildtrees-after-build
       - name: Install MIRAI
         run: |
-          cargo install --force --path ./checker
+          cargo install --force --path ./checker --no-default-features --features vcpkg
       - name: Run MIRAI on MIRAI
         run: |
-          cargo mirai
\ No newline at end of file
+          cargo mirai --no-default-features
\ No newline at end of file
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 1831db45..729767cd 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -39,7 +39,7 @@ jobs:
 
       - name: Execute tests
         run: |
-          cargo test --all -- --test-threads=1
+          cargo test --all -- --no-default-features --features vcpkg --test-threads=1
         env:
           CARGO_INCREMENTAL: 0
           RUSTFLAGS: "-Zprofile -Ccodegen-units=1 -Copt-level=0 -Clink-dead-code -Coverflow-checks=off -Zpanic_abort_tests"
@@ -67,7 +67,7 @@ jobs:
 
       - name: Install MIRAI
         run: |
-          cargo install --force --path ./checker --no-default-features --features static-link-z3
+          cargo install --force --path ./checker
 
       - name: Run MIRAI on MIRAI
         run: |
diff --git a/checker/Cargo.toml b/checker/Cargo.toml
index 77834d22..2faaf9fe 100644
--- a/checker/Cargo.toml
+++ b/checker/Cargo.toml
@@ -64,7 +64,7 @@ walkdir = "*"
 contracts = { version = "0.6.0", features = ["mirai_assertions"] }
 
 [features]
-default = ["z3"]
-z3 = ["z3-sys/vcpkg"]
+default = ["static-link-z3"]
+vcpkg = ["z3-sys/vcpkg"]
 static-link-z3 = ["z3-sys/static-link-z3"]