built_modules = list(name for name in
    "@all_module_shortnames@"
    .split(";"))