fixes to new pdflatexex & to guicompiler