flush stdio