Dear Axel, > I tried to weave pdftex.web (output below) from texlive-20170520-source > d get following errors. It is kown as Shreevatsa reported. The patch by Shreevatsa will be applied by Karl. Thanks for the report, Akira