We have a patch that modifies the semanage.conf file that is
previously modified by the Gentoo ebuild. The patch enables the
SELinux module compression to save some disk space (the modules went
from 33MB to 3MB).
