Use boot2docker-vagrant-box 0.8.0