make Terminal useful with a .bash_profile