Use utf-8 output codec. Fixes #1