Fix old reference to server.py, which was renamed to run_server.py