[Gretl-devel] restart to access new database?