[Gretl-users] possible bug in cvs (and ods?)