The text b713e60e9680, as Debian 10 (Buster) shipped it.
set pre-proxy to use
CURLOPT_PRE_PROXY(3) on Linux now
