remove simgr env options