Vagrant: vagrantfile is ignored; examples are provided