pdftex needs to be run with -etex option