bin/win32/disdvi.exe bin/win32/dvi2tty.exe texmf/lists/bin-dvi2tty.win32