Since this only happened once and on a netwinder buildd, I think this is just one form of the infamous "netwinder ran out of memory and OOM killed cc1plus" bug. So should this bug be closed? -- "rm -rf" only sounds scary if you don't have backups