time (gunzip -cd "$file" | gzip /tmp/newfile)