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