Install selinux include files