[Gretl-devel] Small session problem