also gzip .json files