added exception_list destructor with nothrow, now compiles with g++