[Bug 414609] selinux fails to compiled