GoodFETCC now always calls loadsymbols() in goodfet.cc.