bin/win32/dvibook.exe bin/win32/dviconcat.exe bin/win32/dviselect.exe bin/win32/dvitodvi.exe texmf/lists/bin-seetexk.win32