How to remove dvi2ps from Debian 9 (Stretch)