Simplifiying Vagrantfile