[Termtools] CeTA 2.42 on StarExec