bashrc: Avoid ending on an error if local.sh is missing.