bashrc: Grok st as a terminal type