[Gretl-devel] no 'gui-main'