#!/bin/sh
+new=${0%.sh}
+
+if test -t; then
+ cat <<___ >&2
+`basename $0`: Please use $new (note the missing extension!) instead.
+This ($0) script will be removed without any further notice.
+___
+ exit 1
+fi
+
+exec $new "$@"
+
if which dirname >/dev/null; then
BFDIR=`dirname $0`
elif [ "x${BFDIR}" = "x" ]; then