vagrantfile and script