Lest someone else waste time chasing chasing this, ksymoops.cc needs a
small change to NameList.
class NameList
{
private:
// Caution: Fixed Allocation!
// This should suffice for awhile since 1.1.86 has only ^H^H^H^H
KSym ksyms_0_[8000];
Too small for anything past 2.1.71 here with lots of goodies enabled.
-Mike