diff --git a/divine/cc/native.hpp b/divine/cc/native.hpp
index 0073904e2b1d0174921190f0733382f12ae596ae..796d70049d5e9efb33630b3b5fdc9f2586573843 100644
--- a/divine/cc/native.hpp
+++ b/divine/cc/native.hpp
@@ -95,11 +95,13 @@ namespace divine::cc
         virtual std::unique_ptr< llvm::Module > link_bitcode();
         void construct_paired_files();
         void print_info( std::string_view version );
+        void set_cxx( bool cxx ) { _cxx = cxx; }
 
         cc::ParsedOpts _po;
         PairedFiles _files;
         std::vector< std::string > _ld_args;
         cc::CC1 _clang;
+        bool _cxx;
 
         ~Native();
     };
diff --git a/divine/rt/dios-cc.hpp b/divine/rt/dios-cc.hpp
index 7d11957ad2742999781be10a7d248a6f51a2759b..fab31883303f990cf4c754ad82548e0b84da1f08 100644
--- a/divine/rt/dios-cc.hpp
+++ b/divine/rt/dios-cc.hpp
@@ -39,9 +39,6 @@ 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;
 };
 
 } // rt