Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0
It's a known problem, inherent to the gzip format (which stores only the
last 32 bits of the uncompressed size). Fixing it would require
changing the format, which is unlikely at this point.