How to remove dot2tex from Debian 9 (Stretch)