Provisioning and Vagrantfile bugfixes