ost_cistring_char_traits(3) on Linux

The text e341040e4738, as Debian 10 (Buster) shipped it.

ost_cistring_char_traits(3) on Linux now