Decompressed file name doesn't always match compressed file name