Add in load_binary_server_info() which was missing in proxy_setup.sh