bashrc: increase font size in xterm