Fix bug that was preventing debian buildd to follow up