make generate-ir-opcodes.pl brand its generated file with provenance