Hey there! Given that a CoreOS provisioner has been added to docker-machine in dev. Theoretically should it work for Amazon EC2? I gave it a shot and CoreOS instance does start but then just stops itself. Since it works for digital ocean what customization would be needed for Amazon EC2? I used all the correct arguments even specifying the ssh username to core.