forgot to add pygments to cmssw-tool-conf