Add a gzip option.