Small changes in support of SELinux