(/usr/local/bin/mx <$1.mx >$1.mxo ; cat /home/andrew/mike/jobdone; echo "See output in $1.mxo") &