diff --git a/_CoqProject b/_CoqProject
index 198cf2a91544ca0b088c43b9b197aa01e681f6cf..6f4e5695076b129f60e58ca90d47c1ed0030f673 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -10,6 +10,8 @@
 -Q iris_heap_lang iris.heap_lang
 -Q iris_unstable iris.unstable
 -Q iris_deprecated iris.deprecated
+# Avoid needlessly increasing our trusted code base with native_compute
+-arg -native-compiler -arg no
 # We sometimes want to locally override notation, and there is no good way to do that with scopes.
 -arg -w -arg -notation-overridden
 # Cannot use non-canonical projections as it causes massive unification failures