Depend on dev version of pygments rather than trying to patch it