Go back to old pygments