libselinux behavior in permissive mode wrt invalid domains