so the indices for the uncompressed files will be ".production.log-20120101.idx", whereas the indexes for the gzipped ones will be ".production.log-20120101.gz.idx".   And actually, they're exactly the same index.