How to remove php5-snmp from Debian 9 (Stretch)