[NTG-pdftex] pdftex 1.11b printID() bug