modules += files(
    'aionoseclabelfs.cil',
    'anoninodenoseclabelfs.cil',
    'autonoseclabelfs.cil',
    'bdevnoseclabelfs.cil',
    'binfmtmiscnoseclabelfs.cil',
    'bpfnoseclabelfs.cil',
    'cinoseclabelfs.cil',
    'confignoseclabelfs.cil',
    'cpusetnoseclabelfs.cil',
    'dosnoseclabelfs.cil',
    'drmnoseclabelfs.cil',
    'efivarnoseclabelfs.cil',
    'fusenoseclabelfs.cil',
    'iso9660noseclabelfs.cil',
    'nfsdnoseclabelfs.cil',
    'nfsnoseclabelfs.cil',
    'nsnoseclabelfs.cil',
    'pidnoseclabelfs.cil',
    'procnoseclabelfs.cil',
    'removablenoseclabelfs.cil',
    'resctrlnoseclabelfs.cil',
    'rpcpipenoseclabelfs.cil',
    'securitynoseclabelfs.cil',
    'selinuxnoseclabelfs.cil',
    'udfnoseclabelfs.cil',
)