Minor .bashrc_linux changes