bash: import zipgrep