gunzip: running gzip -d in the same shell