diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_stdout.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_stdout.c
index 3ff340ccd402065db0d57fabdb17dbf0ab1d484a..dcf3ab86d76f91686823a34b45ebfbaeeca36f97 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_stdout.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_stdout.c
@@ -127,8 +127,8 @@ void __e_acsl_memory_init(void)
   __store_block((void *)__e_acsl_literal_string_2,sizeof("wb"));
   __full_init((void *)__e_acsl_literal_string_2);
   __literal_string((void *)__e_acsl_literal_string_2);
-  __e_acsl_literal_string = "foo";
-  __store_block((void *)__e_acsl_literal_string,sizeof("foo"));
+  __e_acsl_literal_string = "/tmp/foo";
+  __store_block((void *)__e_acsl_literal_string,sizeof("/tmp/foo"));
   __full_init((void *)__e_acsl_literal_string);
   __literal_string((void *)__e_acsl_literal_string);
   __store_block((void *)(& stdout),8UL);
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_stdout2.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_stdout2.c
index 3ff340ccd402065db0d57fabdb17dbf0ab1d484a..dcf3ab86d76f91686823a34b45ebfbaeeca36f97 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_stdout2.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_stdout2.c
@@ -127,8 +127,8 @@ void __e_acsl_memory_init(void)
   __store_block((void *)__e_acsl_literal_string_2,sizeof("wb"));
   __full_init((void *)__e_acsl_literal_string_2);
   __literal_string((void *)__e_acsl_literal_string_2);
-  __e_acsl_literal_string = "foo";
-  __store_block((void *)__e_acsl_literal_string,sizeof("foo"));
+  __e_acsl_literal_string = "/tmp/foo";
+  __store_block((void *)__e_acsl_literal_string,sizeof("/tmp/foo"));
   __full_init((void *)__e_acsl_literal_string);
   __literal_string((void *)__e_acsl_literal_string);
   __store_block((void *)(& stdout),8UL);
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/stdout.c b/src/plugins/e-acsl/tests/e-acsl-runtime/stdout.c
index 10cb12f2c52462001bd53d9e01c9e54c6b511d8b..d548394d253a3a74420e3c0d4434a4b47390d147 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/stdout.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/stdout.c
@@ -9,6 +9,6 @@
 
 int main(){
   FILE *f = stdout;
-  FILE *f2 = fopen("foo","wb");
-  //@ assert f == stdout;  
+  FILE *f2 = fopen("/tmp/foo","wb");
+  //@ assert f == stdout;
 }