better performance with gzip: