fixes for pushing to S3 (gzipping and paths)