[NTG-pdftex] do we need pdfTeXk?