[Gretl-users] Change in the diff command in gretl 2018d