[Gretl-users] Re: bug in shell command?