add UTF-8 support in gl.py