Remove the old DebuggerGUI