updated bootstrap script, use ppdflatex instead of pdflatex if it is installed