#!/bin/sh
# $Id$
libexecdir=/usr/heimdal/libexec
PATH=$libexecdir:$PATH
export PATH
push --from $*
