Tweaks for vagrant config