[Gretl-users] Warning: bad gretl snapshots!