Bad gzip compression fixed.

Unfortunately, the file that reproduces this error is classified for now. So no tests for now :(