diff --git a/scripts/prep.sh b/scripts/prep.sh
index e740c15d..66ade823 100755
--- a/scripts/prep.sh
+++ b/scripts/prep.sh
@@ -10,3 +10,6 @@ curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_
 ./elan-init -y --default-toolchain none
 echo "$HOME/.elan/bin" >> $GITHUB_PATH
 
+pushd SampCert
+lake build VMC
+popd
\ No newline at end of file