change pygments version