[Gretl-users] Re: More on building gretl on Linux