172 Define platex2pdf command