Try older format for pygments config