minor fixes to setup_server script