#!/bin/bash
bindir='/accounts/1000/shared/documents/clitools/bin'
case $1 in
--__bindir) bindir=${2?}; shift; shift;;
esac
PATH=$bindir:$PATH
exec zgrep -F "$@"
