simplifying bash_profile