[Gretl-users] problem with gretl_x11