Add another fallback for boot2docker-vagrant-box