Use docker instead of docker.io and other small fixes.