gzip 1.3.12