Using ATP instead of latex-suite