Prevent circular source .bashrc if different .profile exists.