Fix to previously doubly-gzipped files