>> In my simple test, pdftex can be changed similarly. >> I'll change pdftex if it is OK. > > Done in r47676. I discarded the changes for pdfTeX in r47865 (w32 only), since it turned out that pdfTeX was not suitable for them. Sorry for the noise. Best, Akira