Streamlined Vagrantfile