Vagrant: minor tweaks