re-add pick_random_server