bin/win32/pdfplatex-pl.bat bin/win32/pdfplatex.exe bin/win32/platex-pl.bat bin/win32/platex.exe texmf/lists/bin-platex.win32