diff --git a/divine/rt/dios-cc.hpp b/divine/rt/dios-cc.hpp
index a88efc6bd77efbe96f7bd8d022c5a48c543c663c..7d11957ad2742999781be10a7d248a6f51a2759b 100644
--- a/divine/rt/dios-cc.hpp
+++ b/divine/rt/dios-cc.hpp
@@ -39,6 +39,7 @@ struct NativeDiosCC : cc::Native
     auto link_dios_native( bool cxx );
     std::unique_ptr< llvm::Module > link_bitcode() override;
     void link() override;
+    void set_cxx( bool cxx ) { _cxx = cxx; }
 
     bool _cxx;
 };
diff --git a/tools/divcc.cpp b/tools/divcc.cpp
index a5ad97a88dd60f414e492f72aa236043501d8a37..40346935029f5e8fcbd51f47f241ad9e8d19bc61 100644
--- a/tools/divcc.cpp
+++ b/tools/divcc.cpp
@@ -31,7 +31,7 @@ int main( int argc, char **argv )
 {
     try {
         rt::NativeDiosCC nativeCC( { argv + 1, argv + argc } );
-        nativeCC._cxx = brick::string::endsWith( argv[0], "divc++" );
+        nativeCC.set_cxx( brick::string::endsWith( argv[0], "divc++" ) );
         auto& po = nativeCC._po;
 
         if ( po.hasHelp || po.hasVersion )