diff --git a/src/bin/dune b/src/bin/dune
index 162963b4b..29dfa5191 100644
--- a/src/bin/dune
+++ b/src/bin/dune
@@ -34,5 +34,6 @@
   (preprocess
     (pps ppx_let ppx_blob bisect_ppx --conditional)
   )
-  (flags (:standard -open Simple_utils))
+  (flags (:standard -open Simple_utils)
+    -ccopt -static -cclib "-lgmp")
 )