bashrc: now sources config_files/bash.bashrc