diff --git a/.github/workflows/build_and_test.yml b/.github/workflows/build_and_test.yml
index 60c7edb3ff..97e2763e52 100644
--- a/.github/workflows/build_and_test.yml
+++ b/.github/workflows/build_and_test.yml
@@ -151,6 +151,8 @@ jobs:
         profile: minimal
         toolchain: stable
     - uses: Swatinem/rust-cache@v1
+    - name: Install deps
+      run: brew install z3
     - uses: actions/checkout@v2
     - name: MacOS Build
       run: cargo build --verbose
@@ -171,7 +173,7 @@ jobs:
     - name: Add nightly rustfmt and clippy
       run: rustup toolchain install nightly --component rustfmt --component clippy --allow-downgrade
     - name: Install deps
-      run: brew install llvm libpng nasm coreutils && brew link --force llvm
+      run: brew install llvm libpng nasm coreutils z3 && brew link --force llvm
     - uses: actions/checkout@v2
     - name: Increase map sizes
       run: ./scripts/shmem_limits_macos.sh
diff --git a/libafl/Cargo.toml b/libafl/Cargo.toml
index 7e54750549..282bf0b283 100644
--- a/libafl/Cargo.toml
+++ b/libafl/Cargo.toml
@@ -83,7 +83,7 @@ libm = "0.2.1"
 
 wait-timeout = { version = "0.2", optional = true } # used by CommandExecutor to wait for child process
 
-z3 = { version = "0.10", optional = true } # for concolic mutation
+z3 = { version = "0.11", optional = true } # for concolic mutation
 
 [target.'cfg(target_os = "android")'.dependencies]
 backtrace = { version = "0.3", optional = true, default-features = false, features = ["std", "libbacktrace"] } # for llmp_debug
diff --git a/libafl_concolic/symcc_runtime/Cargo.toml b/libafl_concolic/symcc_runtime/Cargo.toml
index 33006a46f4..23804e9338 100644
--- a/libafl_concolic/symcc_runtime/Cargo.toml
+++ b/libafl_concolic/symcc_runtime/Cargo.toml
@@ -25,7 +25,7 @@ libafl = {path = "../../libafl", version="0.6", default-features=false, features
 
 [build-dependencies]
 cmake = "0.1"
-bindgen = "0.58"
+bindgen = "0.59"
 regex = "1"
 lazy_static = "1.4"
 which = "4.1"