b-linux_linux_9_libstdcpp_gcc_debug_b-64_64.systemc-cci-shared-True