Hi, I tried to do vagrant up today or manually add the box and I could do it. I get the menu to choose the provider, but I cannot download the box. So vagrantfile is no working.