trim wsgi.py