fix pygments unicode