Fix OS X instructions to use .bash_profile