[Gretl-users] Re: Problem with opening existing gretl session