s4:web_server/wsgi.c - fix a counter type