Pick the correct debian package to get "apt-add-repository"