[Gretl-devel] Re: Accessing installed gretl version