vagrantfile and provisioning scripts