Cfengine 3 and SELinux