Simplified Vagrantfile