jf: use GZIP compressing