How to remove user-mode-linux-doc from Debian 9 (Stretch)