dvi2tty rebuild