Re: [Gretl-devel] please, help with ./configure options