added option for compiling with pdflatex