bashrc: source.bashrc-local if it exists