delos3geur: full selinux support