.bash_profile: Add rbenv setting.