bashrc: sourcing ~/.bashrc.local if the file exists