std::allocator(3cxx) on Linux

The text 10d97f255593, as Debian 7 (Wheezy) shipped it.

std::allocator(3cxx) on Linux now