fix cgiserver.py