How to remove dvi2ps-fontdata-ptexfake from Debian 9 (Stretch)