diff --git a/rapx/Cargo.toml b/rapx/Cargo.toml
index 3a63bd4..63904f9 100644
--- a/rapx/Cargo.toml
+++ b/rapx/Cargo.toml
@@ -25,7 +25,7 @@ lazy_static = "1.4"
 snafu = "0.7.0"
 chrono = "0.4.19"
 serde_json = "1.0.72"
-z3 = {version="0.12.1", features = ["static-link-z3"]}
+z3 = "0.12.1"
 log = "0.4.14"
 fern = {version = "0.6.2", features = ["colored"]}
 wait-timeout = "0.2.0"