std::allocator(3cxx) on Linux

The text 5a93eb32d34e, as Debian 6.0 (Squeeze) shipped it.

The 'standard' allocator, as per [20.4]. Further details: http://gcc.gnu.org/onlinedocs/libstdc++/manual/bk01pt04ch11.html.