Vagrantfile: simplified and tested