The text 90bbade5ef08, as Debian 7 (Wheezy) shipped it.
__gnu_cxx::bitmap_allocator(3cxx) on Linux now
