The text 0765ac1a83fc, as Debian 7 (Wheezy) shipped it.
__gnu_cxx::_ExtPtr_allocator(3cxx) on Linux now
