Some small changes to boot2docker, but it is still not usable