Re: (ITS#7789) Unreliable mdb_env_set_mapsize()