Dextro/vagrant-dev-box not found