Tweak Dockerfile.