update .profile

Do not source ~/.bashrc from ~/.profile, because we use ~/.bash_profile and so ~/.profile should not be read by bash(1)