How to install php-snmp on Debian 9 (Stretch)