StacktraceTop:Arts::Dispatcher::terminate (this=0x0) at /build/buildd/arts-1.5.6/./mcop/dispatcher.cc:960
std::ostream::flush () from /usr/lib/libstdc++.so.6
StacktraceTop: Arts::Dispatche r::terminate (this=0x0) at /build/ buildd/ arts-1. 5.6/./mcop/ dispatcher. cc:960
std::ostream::flush () from /usr/lib/ libstdc+ +.so.6