bash: source .bashrc.local like other files