changing over to Vagrantcloud box name