debugging; no pdflatex?