Re: [Gretl-devel] database file size