[Bug 581505] SELinux tools