Update selinuxfs.c