Debian should default to Docker PPA