Update for changes in selinux::module