update for simgr@2
0.1.0