Upgrade doesn't work

[jonludlam]

I upgraded docker on my laptop, which then had an API mismatch with my docker machine:

Error response from daemon: client is newer than server (client API version: 1.23, server API version: 1.22)  

I ran 'docker-machine upgrade', but no joy:

jludlam@vivacious:~$ docker-machine upgrade
Waiting for SSH to be available...
Detecting the provisioner...
Upgrading docker...
Stopping machine to do the upgrade...
Upgrading machine "default"...
Copying /home/jludlam/.docker/machine/cache/boot2docker.iso to /home/jludlam/.docker/machine/machines/default/boot2docker.iso...
Starting machine back up...
(default) Waiting for VM to start...
(default) Got VM address(10.71.76.236:22), Now waiting for SSH
Restarting docker...
jludlam@vivacious:~$ docker ps
Error response from daemon: client is newer than server (client API version: 1.23, server API version: 1.22)

I was able to upgrade manually by stopping the VM and attaching the newest boot2docker.iso to it:

vm=<my docker machine vm>
sr=<an SR>
size=<size of boot2docker iso>

vdi=`xe vdi-create sr-uuid=$sr virtual-size=$size name-label=newboot2docker.iso`
xe vdi-import uuid=$vdi filename=boot2docker.iso
vbd=`xe vbd-list vm-uuid=$vm --minimal`
xe vbd-destroy uuid=$vbd
xe vbd-create vm-uuid=$vm vdi-uuid=$vdi device=0

and then restarting the VM.