Fix run_server script.