Make Vagrant Manager easier to update