vagrant config changes by @denyago