General update: SELinux userspace & pkg renaming