Re: [PATCH] gzip: update to 1.8