an ajenti plugin that can manage selinux