Now that errs() is properly non-buffered, there's no need to