cope with name change in pygments