question on patch files in selinux source package