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