[Gretl-users] Re: Warning: bad gretl snapshots!