diff --git a/bench/dune b/bench/dune
new file mode 100644
index 000000000..9827c0cea
--- /dev/null
+++ b/bench/dune
@@ -0,0 +1 @@
+(dirs :standard \ klee pie results-*)
diff --git a/bench/testcomp/dune b/bench/testcomp/dune
index 686447961..92e6f84e4 100644
--- a/bench/testcomp/dune
+++ b/bench/testcomp/dune
@@ -1,3 +1,5 @@
+(dirs :standard \ sv-benchmarks)
+
 (executable
  (name testcomp)
  (modules testcomp whitelist)