SELinux Refpolicy with patches to make it work on Debian