Minor updates to deal with bugs in SELINUX config and necessary
packages during OS updates.