Packaging for selinux