segment.py: decode utf-8 literals