setup.sh: create a ~/.bash_profile, if necessary, on Mac OS X