cange https to http for box url in Vagrantfile