bug#16699: gzip -l bug

[Paul Eggert]

It's a known problem, inherent to the gzip format (which stores only the 
last 32 bits of the uncompressed size).  Fixing it would require 
changing the format, which is unlikely at this point.