![](https://secure.gravatar.com/avatar/c3c4ce72a68266355f51f0006a576199.jpg?s=120&d=mm&r=g)
25 Jan
2018
25 Jan
'18
4:26 p.m.
the pdfTeX issue can be avoided by applying the attached patch. I installed it (pdftex r793, tl r46443). Thanks again. --karl