make gzip filenames be correct