modify config, use pygments