wunzip: file1 [file2 ...]