platex-dev uses a different engine than platex on my system (e-uptex versus e-ptex): ... Is that intended?? I don't know. Akira, Hironobu, Takuji, anyone ... please advise? --thanks, karl.