CURLOPT_PROXY(3) on Linux

The text 4d88c51af646, as Debian 13 (Trixie) shipped it.

proxy to use

CURLOPT_PROXY(3) on Linux now