[Gretl-devel] Grelt version branding