diff --git a/msat.sh b/msat.sh
index d111c6b0..6428999f 100755
--- a/msat.sh
+++ b/msat.sh
@@ -1,3 +1,3 @@
 #!/bin/sh
 
-exec dune exec src/main/main.exe -- $@
+exec dune exec --profile=release src/main/main.exe -- $@