take into account that debian dists have no extra server pkg