Delete terminal.h