.bash_profile: Enable Bash completion if `/etc/bash_completion` exists too.