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