How is policy.31 created from modules under /usr/share/selinux