[Gretl-devel] dealing with addons in CVS