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