CURL: make log output configurable.