Welp, I guess boot2docker installs VirtualBox.