wsgi: sys append