added bash_profile: changed bash command prompt