bin/dvi2tty