simgr 0.3.0 migration