[NTG-pdftex] [pdftex-Bugs][829] TEX_HUSH not handled correctly