diff --git a/scripts/prep.sh b/scripts/prep.sh
index 45c568d0..f56b230b 100755
--- a/scripts/prep.sh
+++ b/scripts/prep.sh
@@ -9,6 +9,7 @@ pushd SampCert
 set -o pipefail
 curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
 ./elan-init -y --default-toolchain none
+elan toolchain install leanprover/lean4:v4.7.0
 echo "$HOME/.elan/bin" >> $GITHUB_PATH
 lake build VMC
 popd