116a117,118
>
> void setTextBase(Addr a) { text.baseAddr = a; }
119c121
< ObjectFile *createObjectFile(const std::string &fname);
---
> ObjectFile *createObjectFile(const std::string &fname, bool raw = false);