Re: [DynareDev] Windows snapshot