Vagrantfile and bootstrap script