install/devops: use latest vagrant