change pygment config option to highlighter