[TxMt] latex_watch.pl modification?