GZIP file name change for AWS. Not sure if this is worth it yet