remove simgr dep