basic fixes to ext/snmp