How to remove whizzytex from Debian 9 (Stretch)