Default encoding is most likely a bad idea.
We should explicitly use UTF-8 everywhere.