-# !!!!!!! DO NOT EDIT THIS FILE !!!!!!!
-# This file is built by opcode.pl from its data. Any changes made here
-# will be lost!
+# !!!!!!! DO NOT EDIT THIS FILE !!!!!!!
+# This file is built by regen/opcode.pl from its data. Any changes made
+# here will be lost!