The text 05c52abb5a9d, as Debian 7 (Wheezy) shipped it.
__gnu_cxx::malloc_allocator(3cxx) on Linux now
