#!/bin/sh
script=`echo $0 | sed 's,hp-ux/,,'`
exec /bin/ksh $script "$@"
