[Gretl-devel] revision of build process for gretl addons