Adding some things to bash_profile