selinux: fix avc audit messages