Helpful things to have in .bash_profile of Mac OS X