diff -rN -u old-divine/dios/CMakeLists.txt new-divine/dios/CMakeLists.txt
--- old-divine/dios/CMakeLists.txt	2020-02-06 12:22:14.025691782 +0100
+++ new-divine/dios/CMakeLists.txt	2020-02-06 12:22:14.025691782 +0100
@@ -132,6 +132,7 @@
 add_definitions( -Wno-overlength-strings ${DIVINE_DEFINES} )
 file( GLOB SRC_rt ${divine_SOURCE_DIR}/divine/rt/*.cpp )
 add_library( divine-rt ${SRC_rt} ${dios_FILES} ${dios_native_FILES} dios_list.cpp dios_native_list.cpp )
+add_dependencies( divine-rt cxxabi_static cxx_static )
 target_link_libraries( divine-rt divine-cc )
 set_target_properties( divine-rt PROPERTIES POSITION_INDEPENDENT_CODE ON )
 install( TARGETS divine-rt DESTINATION lib )

diff -rN -u old-divine/divine/CMakeLists.txt new-divine/divine/CMakeLists.txt
--- old-divine/divine/CMakeLists.txt	2020-02-06 12:22:14.025691782 +0100
+++ new-divine/divine/CMakeLists.txt	2020-02-06 12:22:14.025691782 +0100
@@ -69,7 +69,8 @@
                                  LLVMObject LLVMTransformUtils ${CC_TGTS}
                                  clang clangBasic clangCodeGen lldELF )
 target_link_libraries( divine-smt ${Z3_LIBRARIES} ${STP_LIBRARIES} )
-target_link_libraries( divine-dbg divine-vm )
+target_link_libraries( divine-vm divine-cc )
+target_link_libraries( divine-dbg divine-vm divine-smt )
 target_link_libraries( divine-mc divine-vm divine-dbg divine-smt divine-rt divine-cc # FIXME divine-cc
                                  liblart LLVMBitReader LLVMBitWriter LLVMLinker )
 target_link_libraries( divine-ui divine-rt divine-cc divine-mc divine-ltl divine-ra )