How to remove docbook-simple from Debian 9 (Stretch)