make gzipped files work