ifdstreambuf(3bobcat) on Linux

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

Input stream buffer initialized by a file descriptor

ifdstreambuf(3bobcat) on Linux now