make sure FlushEnvironment works on Mavericks