fixed readline() + post_buffering