use gunzip instead of unzip for Linux