Fixing old names in Vagrant file