diff --git a/caisar.opam b/caisar.opam
index f650bec38294dd870b7e36ca4160be397735af5f..00fd5054df8d1e913bf44f3d575eed60705d37a2 100644
--- a/caisar.opam
+++ b/caisar.opam
@@ -9,7 +9,7 @@ depends: [
   "piqilib" {>= "0.6.14"}
   "zarith" {>= "1.7"}
   "ocplib-endian" {>= "1.0"}
-  "dune" {>= "2.9" & >= "2.7.1" & <= "2.9.0"}
+  "dune" {>= "2.9" & >= "2.9.3"}
   "base" {>= "v0.14.0"}
   "stdio" {>= "v0.14.0"}
   "cmdliner" {= "1.0.4"}
diff --git a/dune-project b/dune-project
index c7418cdacc4586bd4f72247876a5518ea6790f6b..27f42b54c0c0e3e0a070e3ec8dcde772c346c349 100644
--- a/dune-project
+++ b/dune-project
@@ -19,7 +19,7 @@
    (piqilib (>= 0.6.14))
    (zarith (>= 1.7))
    (ocplib-endian (>= 1.0))
-   (dune (and (>= 2.7.1) (<= 2.9.0)))
+   (dune (>= 2.9.3))
    (base (>= v0.14.0))
    (stdio (>= v0.14.0))
    (cmdliner (= 1.0.4))
@@ -45,7 +45,7 @@
   (synopsis "NNet parser")
   (depends
    (ocaml (>= 4.13))
-   (dune (and (>= 2.7.1) (<= 2.9.0)))
+   (dune (>= 2.9.3))
    (base (>= v0.14.0))
   )
 )
@@ -55,7 +55,7 @@
   (synopsis "ONNX parser")
   (depends
    (ocaml (>= 4.13))
-   (dune (and (>= 2.7.1) (<= 2.9.0)))
+   (dune (>= 2.9.3))
    (base (>= v0.14.0))
    (ocaml-protoc-plugin (= 4.2.0))
   )
diff --git a/nnet.opam b/nnet.opam
index 9a77f0f3e629262b5d5fe3dc314d697262ac4f55..52a1ad9fbc7796bb9f8491241667df2bbec3280d 100644
--- a/nnet.opam
+++ b/nnet.opam
@@ -4,7 +4,7 @@ version: "0.1"
 synopsis: "NNet parser"
 depends: [
   "ocaml" {>= "4.13"}
-  "dune" {>= "2.9" & >= "2.7.1" & <= "2.9.0"}
+  "dune" {>= "2.9" & >= "2.9.3"}
   "base" {>= "v0.14.0"}
   "odoc" {with-doc}
 ]
diff --git a/onnx.opam b/onnx.opam
index 8149e05b697774a618676c89602e66a333ce3569..46e753cefacacb4bdb09b1da8329fd32c7c7515e 100644
--- a/onnx.opam
+++ b/onnx.opam
@@ -4,7 +4,7 @@ version: "0.1"
 synopsis: "ONNX parser"
 depends: [
   "ocaml" {>= "4.13"}
-  "dune" {>= "2.9" & >= "2.7.1" & <= "2.9.0"}
+  "dune" {>= "2.9" & >= "2.9.3"}
   "base" {>= "v0.14.0"}
   "ocaml-protoc-plugin" {= "4.2.0"}
   "odoc" {with-doc}
diff --git a/tests/marabou.t b/tests/marabou.t
index ecf95011ae0056c1f499312d692b8a4c4bd527eb..ffc8f76fa172b42c341cb485ddfbbc84117d2dbd 100644
--- a/tests/marabou.t
+++ b/tests/marabou.t
@@ -17,7 +17,7 @@ Test verify
 
   $ PATH=$(pwd)/bin:$PATH
 
-  $ caisar verify -L . --format whyml --prover=Marabou - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9./]*/$TMPFILE/'
+  $ caisar verify -L . --format whyml --prover=Marabou - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9_./]*/$TMPFILE/'
   > theory T
   >   use TestNetwork.AsTuple
   >   use ieee_float.Float64
diff --git a/tests/simple.t b/tests/simple.t
index ccc1b93a8125046a303d7082379ea0dbd50139e1..ed3d8805237a465f83a0201fb3e3ac2c55b76002 100644
--- a/tests/simple.t
+++ b/tests/simple.t
@@ -17,7 +17,7 @@ Test verify
 
   $ PATH=$(pwd)/bin:$PATH
 
-  $ caisar verify -L . --format whyml --prover=PyRAT - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9./]*/$TMPFILE/'
+  $ caisar verify -L . --format whyml --prover=PyRAT - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9_./]*/$TMPFILE/'
   > theory T
   >   use TestNetwork.AsTuple
   >   use ieee_float.Float64
diff --git a/tests/simple_onnx.t b/tests/simple_onnx.t
index 63db9311c7133b5989d33d4217986929dbb05e27..5c6442dcde26cb32ec666d1c052e275b0831013d 100644
--- a/tests/simple_onnx.t
+++ b/tests/simple_onnx.t
@@ -17,7 +17,7 @@ Test verify
 
   $ PATH=$(pwd)/bin:$PATH
 
-  $ caisar verify -L . --format whyml --prover=PyRAT - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9./]*/$TMPFILE/'
+  $ caisar verify -L . --format whyml --prover=PyRAT - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9_./]*/$TMPFILE/'
   > theory T
   >   use TestNetworkONNX.AsTuple
   >   use ieee_float.Float64