Add SELinux module support