Pygments 2.0 does not work on python 3.2 (yet?)