made pygments work with idris