Checking the SELinux state programmatically