#0  0x00007f0c75c71423 in __dynamic_cast () from /usr/lib/libstdc++.so.6
No symbol table info available.
#1  0x000000000059cbc7 in boost::shared_ptr<GLTexture> boost::dynamic_pointer_cast<GLTexture, Texture>(boost::shared_ptr<Texture> const&) ()
No symbol table info available.
#2  0x0000000000599d4b in GLRenderer::draw_surface(DrawingRequest const&) ()
No symbol table info available.
#3  0x0000000000469763 in DrawingContext::handle_drawing_requests(std::vector<DrawingRequest*, std::allocator<DrawingRequest*> >&) ()
No symbol table info available.
#4  0x000000000046ae3b in DrawingContext::do_drawing() ()
No symbol table info available.
#5  0x00000000004fa768 in ScreenManager::draw(DrawingContext&) ()
No symbol table info available.
#6  0x00000000004faaf8 in ScreenManager::run(DrawingContext&) ()
No symbol table info available.
#7  0x0000000000534858 in Main::run(int, char**) ()
No symbol table info available.
#8  0x00000000004685a5 in main ()
No symbol table info available.