bin/win32/fmtutil.exe bin/win32/fontinst.bat bin/win32/updmap.exe texmf/lists/bin-tetex.win32