Newer debian in example vagrantfile