diff --git a/nix/bootstrap.nix b/nix/bootstrap.nix
index f5a8a6c056..4fefad1773 100644
--- a/nix/bootstrap.nix
+++ b/nix/bootstrap.nix
@@ -72,7 +72,7 @@ rec {
         src = ../src;
         fullSrc = ../.;
         inherit debug;
-        leanFlags = [ "-Dinterpreter.prefer_native=true" ];
+        leanFlags = [ "-Dinterpreter.prefer_native=false" ];
       });
     in (all: all // all.lean) rec {
       Init = build { name = "Init"; deps = []; };
diff --git a/src/stdlib.make.in b/src/stdlib.make.in
index d055530d60..0488c50c2b 100644
--- a/src/stdlib.make.in
+++ b/src/stdlib.make.in
@@ -14,7 +14,7 @@ LEANMAKE_OPTS=\
 	LIB_OUT="${LIB}/lean"\
 	OLEAN_OUT="${LIB}/lean"\
 	BIN_OUT="${CMAKE_BINARY_DIR}/bin"\
-	LEAN_OPTS+="${LEAN_EXTRA_MAKE_OPTS} -Dinterpreter.prefer_native=true"\
+	LEAN_OPTS+="${LEAN_EXTRA_MAKE_OPTS} -Dinterpreter.prefer_native=false"\
 	LEANC_OPTS+="${LEANC_OPTS}"\
 	LEAN_CXX="${CMAKE_CXX_COMPILER_LAUNCHER} ${CMAKE_CXX_COMPILER}"\
 	MORE_DEPS+="${PREV_STAGE}/bin/lean${CMAKE_EXECUTABLE_SUFFIX}"\