trying to get pygments to work