Tweak japanese/tex-ptex version 3.5