eliminate empty STDIN, STDERR, or STDOUT records

If the stdio module is activated, it automatically adds STDIN, STDOUT, and STDERR entries whether they will actually be used or not.

We could remove these at shutdown time to make the output cleaner.