bash_profile:  added port alias, updated kl alias