diff --git a/ci/setup.sh b/ci/setup.sh
index 0340187188..39c09cadfa 100755
--- a/ci/setup.sh
+++ b/ci/setup.sh
@@ -25,5 +25,5 @@ tar -x -f $RISCV64_UNKNOWN_ELF_GCC --strip-components=1 -C $RISCV
 
 sudo apt install libfl-dev help2man
 
-verif/regress/install-cva6.sh
+verif/sim/setup-env.sh
 ci/build-riscv-tests.sh