fixed type in pypy wsgi.input.read