add a little pause after flush_cstdio()

it seems that flush_cstdio() is not synchronized, we have to add a little delay.
it is an attempt to fix #238