ADDED: RTS.gui.Button.__del__()