Add highest compression level for gzip, hopefully gaining a bit more space