make docker-machine failed: Host already exists: "image-builder-odroid-c1"

[mh182]

Following the instructions I get an error building the boot2docker VM

$ make docker-machine
vagrant up
...
==> default: Setting up cgroup-lite (1.9) ...
==> default: cgroup-lite start/running
==> default: Processing triggers for libc-bin (2.19-0ubuntu6.9) ...
==> default: Processing triggers for ureadahead (0.100.0-16) ...
docker-machine create -d generic \
  --generic-ssh-user vagrant \
  --generic-ssh-key /home/max/work/odroid/HypriotOS/ib-odroid-c1/.vagrant/machines/default/virtualbox/private_key \
  --generic-ip-address 127.0.0.1 \
  --generic-ssh-port 2201 \
  image-builder-odroid-c1
Host already exists: "image-builder-odroid-c1"
Makefile:25: recipe for target 'docker-machine' failed
make: *** [docker-machine] Error 1

OS: Debian Sid unstable (uptodate 21.08.2017)
docker-machine version 0.12.2
vagrant 1.9.1
virtualbox 5.126

Any suggestions?