Adapt to pysnmp 4.2.5

this should fix #84