std::basic_filebuf(3cxx) on Linux

The text 164ac31deeb1, as Debian 7 (Wheezy) shipped it.

std::basic_filebuf(3cxx) on Linux now