Adding ATP, Tex-suite