diff --git a/ci/setup.sh b/ci/setup.sh
index 47b1a528740..202e8f84ac0 100755
--- a/ci/setup.sh
+++ b/ci/setup.sh
@@ -15,7 +15,7 @@ sudo apt install device-tree-compiler
 
 ci/make-tmp.sh
 
-ci/install-verilator.sh
+bash verif/regress/install-cva6.sh
 
 sudo mkdir -p $RISCV && sudo chmod 777 $RISCV
 RISCV64_UNKNOWN_ELF_GCC=riscv64-unknown-elf-gcc-8.3.0-2020.04.0-x86_64-linux-ubuntu14.tar.gz
@@ -23,5 +23,4 @@ if [ ! -f "$RISCV64_UNKNOWN_ELF_GCC" ]; then
   wget https://static.dev.sifive.com/dev-tools/$RISCV64_UNKNOWN_ELF_GCC
 fi
 tar -x -f $RISCV64_UNKNOWN_ELF_GCC --strip-components=1 -C $RISCV
-ci/install-fesvr.sh
 ci/build-riscv-tests.sh