Re: [Gretl-devel] [Gretl-users] bug? with string substitution