[Gretl-devel] Re: Probably a bug in stringify()