Re: [DynareDev] [Trac] #85: Estimation is not deterministic: a seed should be explictly given to random number generator