change name of language for more current versions of pygments