Fixing vagrantfile using correct basebox name.