Updating: improving libats/linset