[NTG-pdftex] benchmarking patch