fix server_run.sh once more