Would it be easier to maintain if we just used a template for rendering the Vagrantfile contents?