diff --git a/.github/workflows/pvs_prelude.yml b/.github/workflows/pvs_prelude.yml
index 8b063ed442b08122d2589817d053153b9f2fdd0d..2ec033a0c940f6f5ae8fa30bb992a35c0f0b705e 100644
--- a/.github/workflows/pvs_prelude.yml
+++ b/.github/workflows/pvs_prelude.yml
@@ -23,4 +23,4 @@ jobs:
       run: |
         eval $(opam env --switch=~/lambdapi --set-switch)
         cd pvs-translation-tools/prelude || exit 1
-        bmake
+        bmake PVSPATH=~/PVS # Set in bootstrap.sh