A few man pages still refer to selinuxfs being mounted at /selinux, I 
changed these references to /sys/fs/selinux