CircleCI: Overwrite /etc/default/docker