hidden labels may now be referenced
Merge branch 'master' into guicompiler
fixes to pdflatexex
fixes to pdflatexex (again)