Bash profile setting for OSX terminal