Make SELinux optional