[Gretl-devel] Running more than one version of gretl