SELinux library and simple utilities