Trying to get pygments to work