How to install dvidvi on Debian 9 (Stretch)