pygment could not substitute cat