bashrc: source /etc/bashrc