Make selinux optional (and disabled for now)