A way to flush stdin