Make Vagrant Manager easier to update
Merge pull request #5464 from NanoXD/master

Make Vagrant Manager easier to update