add flush_cstdio function