move to pypy

use buffered I/O