Don't build dvi

We don't use them and it speeds up the build a little bit.