Merge pull request #3753 from dedeckeh/pr-net-snmp-5.7.3