diff --git a/libafl_concolic/symcc_runtime/Cargo.toml b/libafl_concolic/symcc_runtime/Cargo.toml
index 6e361d8ebb..33006a46f4 100644
--- a/libafl_concolic/symcc_runtime/Cargo.toml
+++ b/libafl_concolic/symcc_runtime/Cargo.toml
@@ -21,7 +21,7 @@ no-cpp-runtime = []
 unchecked_unwrap = "3"
 ctor = "0.1"
 libc = "0.2"
-libafl = {path = "../../libafl", version="0.6"}
+libafl = {path = "../../libafl", version="0.6", default-features=false, features=["std"]}
 
 [build-dependencies]
 cmake = "0.1"