fix bytecode.h