encoding stuff that I push to s3 as gzip