diff --git a/tests/simple.t b/tests/simple.t
index 5bd0aa97173cfcb003eccf302344bed724d00703..c5d8729b3373d9c0720660b62d0ce091a5892ad9 100644
--- a/tests/simple.t
+++ b/tests/simple.t
@@ -1,5 +1,5 @@
 Test verify
-  $ caisar verify -L . --format whyml - <<EOF
+  $ caisar verify -L . --format whyml - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9./]*/$TMPFILE/'
   > theory T
   >   use TestNetwork.AsTuple
   >   use ieee_float.Float64
@@ -13,13 +13,13 @@ Test verify
   > EOF
   <autodetect>0 prover(s) added
   <autodetect>Generating strategies:
-  <autodetect>Run: (Marabou --version) > /tmp/buildd4bdbe.dune/out113e6d 2>&1
-  <autodetect>Run: (alt-ergo --version) > /tmp/buildd4bdbe.dune/outb7c794 2>&1
-  <autodetect>Run: (alt-ergo-2.4.0 --version) > /tmp/buildd4bdbe.dune/out216d3e 2>&1
+  <autodetect>Run: (Marabou --version) > $TMPFILE 2>&1
+  <autodetect>Run: (alt-ergo --version) > $TMPFILE 2>&1
+  <autodetect>Run: (alt-ergo-2.4.0 --version) > $TMPFILE 2>&1
   <autodetect>command 'alt-ergo-2.4.0 --version' failed. Output:
   sh: 1: alt-ergo-2.4.0: not found
   
-  <autodetect>Run: (pyrat.py --version) > /tmp/buildd4bdbe.dune/outf8b6d4 2>&1
+  <autodetect>Run: (pyrat.py --version) > $TMPFILE 2>&1
   <autodetect>Found prover Alt-Ergo version 2.4.0, OK.
   <autodetect>Found prover Marabou version 1.0.+, OK.
   <autodetect>Found prover PyRAT version 1.0, OK.