Updating pygments->highlighter