Thanks. I installed the attached slightly-simpler patch into Gnulib, and it 
should appear in the next Gzip release.