Simplify Vagrantfile