Don't bail out on stream name decoding errors, add --encoding option