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