How to remove libcoin80-doc from Debian 9 (Stretch)