if ${MACH?} -I../../../h ${MACHFL?} $1 1>&2 then echo `basename $1 $2`.so else exit 1 fi