GitHub: Fix encoding with Python 3.