[Gretl-users] Re: How to install the last version of Gretl in Ubuntu 18.04