Remove file `instruction.h'