#!/bin/sh PATH=BINDIR:$PATH exec gzip -d "$@"