tweak gzipped file size estimation