[Gretl-users] problems after upgrading to ubuntu 16.04