[*] minor tweaks to vagrant setup