How to remove dita-ot-doc from Debian 9 (Stretch)