tweak VAGRANT.md again