updates for binary guicompiler generation on OS X; also "pdflatexex" -> "pdflatexex_mod"