Updated Vagrantfile for pre-provisioned box