unusedlist: gretl-fix