[issue:87] Default setting ptex2pdf for TeXworks win32