old vagrantfile