zipios_GZIPOutputStreambuf(3) on Linux

The text 7bb2ed2b6fd2, as Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it.

GZIPOutputStreambuf is a zip output streambuf filter.