use ptex2pdf