update docker/vagrant files