Changes needed for pdflatex on OSX