Using PROGNAME with the terminal emulator as well