Fix python-pygments