How to remove xorg-sgml-doctools from Debian 9 (Stretch)