docker.io alias only on Linux if /usr/bin/docker not there