[Gretl-devel] Re: download+installer script for linux