#!/bin/sh objtype=cygwin f=`echo $0 |  9 sed 's,.*(.)$,\1,'` exec w32$f "$@"