How to remove python-pysnmp4-mibs from Debian 9 (Stretch)