console should return the correct buffer even though the filename in a redirect
is not found
make sure neither stdin/stderr is ever null