boot2docker ISO proved to be a pain.