Update docker installation

Update the docker based installation.