#!/bin/sh
PATH=/bin:/usr/bin
export PATH
compiled=$0.`uname -s | sed -e 's/[0-9.-]*$//'`
if [ -x "$compiled" ]
then
    exec "$compiled" "$@"
else
    exec $0.pl -fallback "$@"
fi
