we also flush stderr and stdout.  (XXX this may override errors if there's a problem
flushing.)