Don't build dvi

We don't use them and it speeds up the build a little bit.
Merge pull request #1757 from rubenk/no-dvi

Don't build dvi