231a232
> Param<std::string> symbolfile;
250a252
> INIT_PARAM_DFLT(symbolfile, "file to read symbols from", ""),
269a272
> p->symbolfile = symbolfile;