simgr migration script