ofdstreambuf(3bobcat) on Linux

The text ab2132ec7a7e, as Debian 8 (Jessie) shipped it.

Output stream buffer initialized by a file descriptor

ofdstreambuf(3bobcat) on Linux now