option to specify proxy server