The text 27f82a81d6bf, as Debian 4.0 (Etch) shipped it.
__gnu_cxx::encoding_char_traits(3) on Linux now
