new DynInst needs an additional library.
improve(? maybe?) the CFG memory management.