tweaks to vagrant files