Unless you want the path change to be specific to your account, it might be easier to edit /etc/profile - there should be a default path listed in there somewhere. That way you don't have to deal with the difference between .bash_profile and .bashrc either.