update simgr