Fixing the vagrant file