docker "binary" config option, ubuntu 14.04 uses `docker.io`, default serverspec