curl-get-headers: use settings file