Reset default compileCommand to pdflatex.
Add options before tex filename; clean up if there is a LaTeX error.