add option to gzip output