unusedlist: linbox-fix