Add packages for SELinux
Install POSIX manpages in debian