Allow using a different repo for PKGTOOLS.