Fix .bashrc to support tex