hal+selinux problems