How does one get texi2dvi working?