boot2docker is distributed by binary