check-mk-agent: "nagios-plugins-basic" is "monitoring-plugins-basic" since Debian...