Re: [Gretl-devel] yet another package saving bug