Installing the SELinux tools