zipios_GZIPOutputStreambuf(3) on Linux

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

GZIPOutputStreambuf is a zip output streambuf filter.