Sourcing .bash_profile is unnecessary.