install.py,terminalrc: update for newer version of Terminal