stdin flush