Couple more tweaks for the Vagrant setup