[Gretl-users] bug-hunting time