ATPlatex installed