jf: use GZIP compression