On GCL and libselinux