zipios_InflateInputStreambuf(3) on Linux

The text fe54ece9fdd6, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.

InflateInputStreambuf is an input stream filter, that inflates the input from the attached input stream.