diff --git a/divine/cc/cc1.cpp b/divine/cc/cc1.cpp
index aa3bd512ab39b1c0ba6c0882c41c0e4867568345..fe1335464081841d1911c3251d5cbd8e36d93d26 100644
--- a/divine/cc/cc1.cpp
+++ b/divine/cc/cc1.cpp
@@ -146,6 +146,7 @@ namespace divine::cc
                                                 "-fdiagnostics-show-option",
                                                 "-fcolor-diagnostics",
                                                 // "-o", "test.o",
+                                                "-isystem", "/builtin"
                                                 };
         bool exceptions = type == FileType::Cpp || type == FileType::CppPreprocessed;
 
diff --git a/divine/cc/native.cpp b/divine/cc/native.cpp
index 8b9720b893a32cb68d8cd57c40f37983d8069a6d..e7e53810b335828a0967feeee29ac067d4b6ca64 100644
--- a/divine/cc/native.cpp
+++ b/divine/cc/native.cpp
@@ -38,7 +38,6 @@ namespace divine::cc
                          driver->commonFlags.begin(),
                          driver->commonFlags.end() );
         _clang.allowIncludePath( "/" );
-        _po.opts.insert( _po.opts.end(), { "-isystem", "/builtin" } );
     }
 
     int Native::compile_files()