update Vagrantfile and provision scripts