reflect the fact that we support gzipped files