diff --git a/tests/cargo-kani/cbmc-unknown-lang-mode/Cargo.toml b/tests/cargo-kani/cbmc-unknown-lang-mode/Cargo.toml
index 5c0a1d78ff83..f54b651e14ba 100644
--- a/tests/cargo-kani/cbmc-unknown-lang-mode/Cargo.toml
+++ b/tests/cargo-kani/cbmc-unknown-lang-mode/Cargo.toml
@@ -9,6 +9,10 @@ edition = "2018"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+# zerocopy 0.8.60 (pulled in by rand through ppv-lite86) doesn't compile under `--cfg kani`
+# without its `derive` feature. Remove once a fixed release is out:
+# https://github.com/model-checking/kani/issues/4988
+zerocopy = "=0.8.59"
 getrandom = "0.2"
 rand = "0.8.0"
 
diff --git a/tests/cargo-kani/dependencies/Cargo.toml b/tests/cargo-kani/dependencies/Cargo.toml
index d76155063171..f2d827b0affb 100644
--- a/tests/cargo-kani/dependencies/Cargo.toml
+++ b/tests/cargo-kani/dependencies/Cargo.toml
@@ -8,5 +8,9 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+# zerocopy 0.8.60 (pulled in by rand through ppv-lite86) doesn't compile under `--cfg kani`
+# without its `derive` feature. Remove once a fixed release is out:
+# https://github.com/model-checking/kani/issues/4988
+zerocopy = "=0.8.59"
 memchr = { version = "2", default-features = false }
 rand = "0.8.4"
diff --git a/tests/cargo-kani/stubbing-validate-random/Cargo.toml b/tests/cargo-kani/stubbing-validate-random/Cargo.toml
index ef03456dd1aa..ef8cf1629d4a 100644
--- a/tests/cargo-kani/stubbing-validate-random/Cargo.toml
+++ b/tests/cargo-kani/stubbing-validate-random/Cargo.toml
@@ -6,6 +6,10 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
+# zerocopy 0.8.60 (pulled in by rand through ppv-lite86) doesn't compile under `--cfg kani`
+# without its `derive` feature. Remove once a fixed release is out:
+# https://github.com/model-checking/kani/issues/4988
+zerocopy = "=0.8.59"
 rand = "0.8.5"
 
 [package.metadata.kani.unstable]