Unicode support in benchmark.py