Fix how we install vagrant