Re: [Gretl-devel] installation to /opt/gretl directory