Create selinux-inc.h