Ensure stdout, stderr are flushed, just to be sure