Querying SELinux userland configuration in C