Bash: Stop sourcing bashrc from bash_profile; move hop to profile.