Fix Docker build.