-proxy command-line option