binary executes in an SELinux type other than its label