"useful aliases to bash_profile"