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