add short option to --proxy_port