fixed an error in build-server.py