update deprecated pygments option