diff --git a/ptests/ptests.ml b/ptests/ptests.ml
index c0ed51a3faacbe9aa500ad11dacb286cc5ec1eb2..d7df845274c5f9e3b81c5bdf747f1d49f3776a81 100644
--- a/ptests/ptests.ml
+++ b/ptests/ptests.ml
@@ -1114,7 +1114,7 @@ let command_string ~result_fmt ~oracle_fmt command =
     "(rule\n  \
      (targets %S %S %a)\n  \
      (deps   %a %S (package frama-c)%a (universe))\n  \
-     (action (with-stderr-to %S (with-stdout-to %S (with-accepted-exit-codes (or 0 1) (system %S)))))\n\
+     (action (with-stderr-to %S (with-stdout-to %S (with-accepted-exit-codes (or 0 1 125) (system %S)))))\n\
      )@."
     errlog
     res
diff --git a/tests/scope/bts971.c b/tests/scope/bts971.c
index dc7a4da3197a34fc43dba11dc47c1760238226aa..0f97cda0a3191589269070c275ba9529fbb27288 100644
--- a/tests/scope/bts971.c
+++ b/tests/scope/bts971.c
@@ -1,11 +1,11 @@
 /* run.config
+   PLUGIN: pdg
    CMXS: @PTEST_NAME@
    OPT: -journal-disable -load-module %{dep:@PTEST_NAME@.cmxs} -then -main main2
 */
 /* bug 971: */
 volatile foo;
 int v;
-
 void f1 () {
   v += 1;
 }
diff --git a/tests/scope/zones.c b/tests/scope/zones.c
index b28bc5bdabff4c94909f4142dbbf2717e104ec10..7923d96d228245203a91068798a1691ea38edbe7 100644
--- a/tests/scope/zones.c
+++ b/tests/scope/zones.c
@@ -1,9 +1,9 @@
 /* run.config
-#   CMXS: @PTEST_NAME@
-   OPT: -load-module @PTEST_NAME@ -eva @EVA_OPTIONS@ -journal-disable
+   PLUGIN: pdg
+   CMXS: @PTEST_NAME@
+   OPT: -load-module %{dep:@PTEST_NAME@.cmxs} -eva @EVA_OPTIONS@ -journal-disable
 */
 
-
 /* bin/viewer.opt -eva @PTEST_DIR@/@PTEST_NAME@.c */
 
 int T [10];