Merge branch 'master' of github.com:monitoring-plugins/monitoring-plugins