delete terminal.erl