.bash_profile file on Mac OS X