The text bd88773fcc83, as Debian 10 (Buster) shipped it.
redirect stderr to another stream
CURLOPT_STDERR(3) on Linux now
