mini_snmpd: patches are now all merged upstream in 1.4-rc1