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