Re: [PATCH] gzip: Update to 1.8