Add stdout flush