stdinのバッファをフラッシュするのって、難しいね。いろいろやってみたけど、
やっぱり直接FILE構造体の中身をいじるしかないみたい。