ofdstreambuf(3bobcat) on Linux

The text bc19b5cb0e0c, as Debian 9 (Stretch) shipped it.

Output stream buffer initialized by a file descriptor

ofdstreambuf(3bobcat) on Linux now