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