[Gretl-devel] changes to 'extra'