How to remove linuxdoc-tools-latex from Debian 9 (Stretch)