Re: selinux denying dev-kit, and others