Use xz rather than gzip