SELinux & Koji question