DyninstAPI and LibTool