fixing Vagrant file