SNMP: Pike 8.0 fixes.