Use https repository for pkgtools