In the original stream_Demux (from 2004), there was a lock. But then
it vanished in a big input "rework"... Anyway, killing the demux
explicitly should not be needed: The underlying stream will return EOF
and any sane demux will return on EOF.