Don't rely on utf-8 being the default system encoding.

Fix #7.