Re: [Gretl-users] problem with gretl_x11