fix server_run.sh