Error: `ptex -ini -jobname=platex -progname=platex platex.ini' failed Known problem. I hope it will be fixed in tonight's build. (Not all the ptex files are being included in texlive.tlpdb.)