Explicitly decode UTF-8 in StringCounter.

(The default encoding on my system is ASCII.)