[TxMt] killing the pdflatex process when cmd-R typesetting window is closed?