diff --git a/src/plugins/aorai/tests/ltl/goto.c b/src/plugins/aorai/tests/ltl/goto.c
index abaf6d16f737c744fb157a8d30f8b150e562dcef..b8685eec176b5ff0400d728af807018ade5571ee 100644
--- a/src/plugins/aorai/tests/ltl/goto.c
+++ b/src/plugins/aorai/tests/ltl/goto.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 int status=0;
diff --git a/src/plugins/aorai/tests/ltl/test_boucle.c b/src/plugins/aorai/tests/ltl/test_boucle.c
index 6325177b5bd437c00db0b8dfde3cf6e93afdfe76..242401c8d41a5c9b4a97646e6c6c5cebeae180d8 100644
--- a/src/plugins/aorai/tests/ltl/test_boucle.c
+++ b/src/plugins/aorai/tests/ltl/test_boucle.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 /*@ requires \true;
diff --git a/src/plugins/aorai/tests/ltl/test_boucle1.c b/src/plugins/aorai/tests/ltl/test_boucle1.c
index b66e6a7c829a6641fee515eb30d1d5d629babb42..3f24248397ef975cbd10cb7b8f794b5735b7bdcd 100644
--- a/src/plugins/aorai/tests/ltl/test_boucle1.c
+++ b/src/plugins/aorai/tests/ltl/test_boucle1.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 int cpt=3;
diff --git a/src/plugins/aorai/tests/ltl/test_boucle2.c b/src/plugins/aorai/tests/ltl/test_boucle2.c
index 257a9a19b810a573fd18230f49c00c6d9eb04c2d..a37e79e10971fbe6ed463bf315bfa4fbcbc60704 100644
--- a/src/plugins/aorai/tests/ltl/test_boucle2.c
+++ b/src/plugins/aorai/tests/ltl/test_boucle2.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 int status=0;
diff --git a/src/plugins/aorai/tests/ltl/test_boucle3.c b/src/plugins/aorai/tests/ltl/test_boucle3.c
index 1cdc2b029c0761d92a9581b3357538be358e2cfc..3cd384b94a561399d1536d315f09008026ec004e 100644
--- a/src/plugins/aorai/tests/ltl/test_boucle3.c
+++ b/src/plugins/aorai/tests/ltl/test_boucle3.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 
diff --git a/src/plugins/aorai/tests/ltl/test_factorial.c b/src/plugins/aorai/tests/ltl/test_factorial.c
index 313ecfbaa750192ad1cdd36a783fbcb75034e141..009b6db869a7439b1fcda0bd16ea439e39b00490 100644
--- a/src/plugins/aorai/tests/ltl/test_factorial.c
+++ b/src/plugins/aorai/tests/ltl/test_factorial.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl}
 */
 
 
diff --git a/src/plugins/aorai/tests/ltl/test_recursion1.c b/src/plugins/aorai/tests/ltl/test_recursion1.c
index a3f69a89db840f6a582edc7e2c8eaec921b3354e..bed9bf66e83256498aae83e2faa46b693e5cb92c 100644
--- a/src/plugins/aorai/tests/ltl/test_recursion1.c
+++ b/src/plugins/aorai/tests/ltl/test_recursion1.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 
diff --git a/src/plugins/aorai/tests/ltl/test_recursion2.c b/src/plugins/aorai/tests/ltl/test_recursion2.c
index 7effcb5bfed5a06821d505ee9632fce32bffdcc0..a51847f8c6b5473bd08eb35f9ffa995b2b6b11e6 100644
--- a/src/plugins/aorai/tests/ltl/test_recursion2.c
+++ b/src/plugins/aorai/tests/ltl/test_recursion2.c
@@ -1,6 +1,6 @@
 /* run.config*
-   STDOPT: -aorai-buchi @PTEST_DIR@/@PTEST_NAME@.promela -aorai-acceptance
-   STDOPT: -aorai-buchi %{dep:@PTEST_DIR@/test_recursion3.promela} -aorai-acceptance
+   STDOPT: -aorai-buchi %{dep:@PTEST_NAME@.promela} -aorai-acceptance
+   STDOPT: -aorai-buchi %{dep:test_recursion3.promela} -aorai-acceptance
 */
 
 /* Calcul de la longueur cumulee des chaines de caracteres prises en parametre */
diff --git a/src/plugins/aorai/tests/ltl/test_switch2.c b/src/plugins/aorai/tests/ltl/test_switch2.c
index 637be79d815d361f9bfc46c8a9e4a5ed15a33768..77290f3f226e7c9f42bac747c78b41f648e1232b 100644
--- a/src/plugins/aorai/tests/ltl/test_switch2.c
+++ b/src/plugins/aorai/tests/ltl/test_switch2.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 int status=0;
diff --git a/src/plugins/aorai/tests/ltl/test_switch3.c b/src/plugins/aorai/tests/ltl/test_switch3.c
index 037f58fb2c440a7277b5aed83fb53308be15fde5..090c0769545f6092b0ef082458e88f1153e6059a 100644
--- a/src/plugins/aorai/tests/ltl/test_switch3.c
+++ b/src/plugins/aorai/tests/ltl/test_switch3.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 /* Calcul de la longueur cumulee des chaines de caracteres prises en parametre */
diff --git a/src/plugins/aorai/tests/ltl/test_switch3_et_recursion.c b/src/plugins/aorai/tests/ltl/test_switch3_et_recursion.c
index 9ef5f759998d7cbc088c6db9030f90ee378ac2ca..9756ddb36ee09942926236b1920eb63db685071e 100644
--- a/src/plugins/aorai/tests/ltl/test_switch3_et_recursion.c
+++ b/src/plugins/aorai/tests/ltl/test_switch3_et_recursion.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 /* Calcul de la longueur cumulee des chaines de caracteres prises en parametre */