Changing the config file for pygments.