removed tla2bAst from compile path