Install SELinux tools

I was under impression this patch is already there. But I had to install those
guys again today. Thanks! :-)