diff --git a/performance/dune b/performance/dune
index d0dc1ca8c..e3114f99d 100644
--- a/performance/dune
+++ b/performance/dune
@@ -11,7 +11,7 @@
    "../runtime"
    (run
     %{project_root}/src/Driver.exe
-    -march=x86_64
+    -64
     %{lama}
     -I
     ../stdlib/x64