fix vagrantbox url and name