Vagrant tweaks

@wvanbergen