Remove boot2docker, since I install it manually.