python3: Fix string encoding