diff --git a/src/main/dune b/src/main/dune
index 11c38908..0679b57d 100644
--- a/src/main/dune
+++ b/src/main/dune
@@ -4,6 +4,7 @@
  (name main)
  (public_name sidekick)
  (package sidekick-bin)
+ (modes native)
  (libraries containers iter result sidekick.sat sidekick.core sidekick-base
             sidekick.msat-solver sidekick-bin.smtlib sidekick.tef
             sidekick.memtrace)
diff --git a/src/tests/dune b/src/tests/dune
index 886516fc..a02366ec 100644
--- a/src/tests/dune
+++ b/src/tests/dune
@@ -2,6 +2,7 @@
 (executable
  (name run_tests)
  (modules run_tests)
+ (modes native)
  (libraries containers alcotest qcheck sidekick.util
             sidekick_test_simplex2 sidekick_test_util sidekick_test_minicc)
  (flags :standard -warn-error -a+8 -color always))