bashrc-linux: remove settitle function