fix #1: re-insert the original XTERM windows title in bashrc