[Gretl-devel] Accessing installed gretl version