diff --git a/tests/syntax/empty_union.i b/tests/syntax/empty_union.i
index 4b656499b0144d7b86bbbad3b9cce0e47f024d67..5862ca08002630d6bfcfb56c285d693a301b52c3 100644
--- a/tests/syntax/empty_union.i
+++ b/tests/syntax/empty_union.i
@@ -1,6 +1,6 @@
 /* run.config*
-   STDOPT: +"-machdep gcc_x86_32 -print -ocode @PTEST_NAME@_reparse.c -then @PTEST_NAME@_reparse.c -ocode=''"
-   STDOPT: +"-machdep msvc_x86_64 -print -ocode @PTEST_NAME@_reparse.c -then @PTEST_NAME@_reparse.c -ocode=''"
+   STDOPT: +"-machdep gcc_x86_32 -print -ocode @PTEST_NAME@_@PTEST_NUMBER@_reparse.c -then @PTEST_NAME@_@PTEST_NUMBER@_reparse.c -ocode=''"
+   STDOPT: +"-machdep msvc_x86_64 -print -ocode @PTEST_NAME@_@PTEST_NUMBER@_reparse.c -then @PTEST_NAME@_@PTEST_NUMBER@_reparse.c -ocode=''"
  EXIT: 1
    STDOPT:
  */
diff --git a/tests/syntax/oracle/empty_union.0.res.oracle b/tests/syntax/oracle/empty_union.0.res.oracle
index 7d386369f1419cdca1541c94233289478a007fec..9a2d28d119701f914f9e929ecba96f96b6070637 100644
--- a/tests/syntax/oracle/empty_union.0.res.oracle
+++ b/tests/syntax/oracle/empty_union.0.res.oracle
@@ -1,5 +1,5 @@
 [kernel] Parsing empty_union.i (no preprocessing)
-[kernel] Parsing empty_union_reparse.c (with preprocessing)
+[kernel] Parsing empty_union_0_reparse.c (with preprocessing)
 /* Generated by Frama-C */
 union empty {
    
diff --git a/tests/syntax/oracle/empty_union.1.res.oracle b/tests/syntax/oracle/empty_union.1.res.oracle
index 7d386369f1419cdca1541c94233289478a007fec..ed84f1542e81426398c6d083e58cae84a7d3a869 100644
--- a/tests/syntax/oracle/empty_union.1.res.oracle
+++ b/tests/syntax/oracle/empty_union.1.res.oracle
@@ -1,5 +1,5 @@
 [kernel] Parsing empty_union.i (no preprocessing)
-[kernel] Parsing empty_union_reparse.c (with preprocessing)
+[kernel] Parsing empty_union_1_reparse.c (with preprocessing)
 /* Generated by Frama-C */
 union empty {