Edits to bash-profile