[Bug 746] Changed - wrc gives segfault when creating kernel.res