Specify Ubuntu version in Docker container.