How to remove dvi2dvi from Debian 9 (Stretch)